where's choice for mp3 conversion

I see options to download the playlist as text file, to deezer, youtube, etc., but what if I just want to download the songs to play on my computer without using spotify, youtube, etc.?