In SUPER, simply drag and drop the files into the window, select "OGG (Audio Only)" or "MP3 (Audio Only)" from the drop-down menu in the top-left and click "Encode (Active Files)" to start the conversion. The converted files can be found in the same folder as the original files.
To convert files to mp3 in Audacity, apply the "MP3 Conversion" chain to the files. This page explains how to apply chains.
To convert to ogg, you'll need to make your own chain that follows the same steps as the MP3 Conversion one but uses the "ExportOgg" step instead of "ExportMp3". This page explains how to make chains. Once you've made the chain, apply it in the same way as above.
The converted files can be found in a folder called "cleaned", located in the same folder as the input files.