You need to click on the configuration icon in the upper left
of the main player window as shown below:


Then click on "Options" as below:


Next, Click on "Converter" and choose the output path, file format,
bitrate, quality, etc. What you see here are my recommended settings
for MP3 output:


Close the options window and load one or more sequences into your playlist:


Now highlight one or more files (clicking the starting song, holding down , and clicking the ending song works to select multiple files) Using + will highlight all files in the playlist as expected. Now just right-click on any highlighted file (song) and click "Convert" from the pop-up menu:


Click the "Convert" button and all selected files will be converted to whatever format you chose and in the output directory you chose. Note: If you click on the "Gear/Cog" icon, you can change the output options again at this stage. Also note that most everything has a keyboard shortcut if you prefer. Many people are using Spider Player to do this.