How to Convert OGG to MP3 Without Uploading A Single File

So you’ve got an OGG file. Maybe you ripped it from a game, downloaded it from a podcast site, or got handed one by a Linux-loving friend…