The free and open source audio recorder and editor Audacity needs a little plugin before it can export files to MP3. Its a one of thing to do - but for those not used to installing software and plugins, it can be a bit tricky.. here’s how.