Convert MP4, MP3, WAV, MOV and extra to any format on-line. Underneath linux, I find python-audio-tools does exactly what I would like. Unfortunately, I haven't been able to get it to encode to mp3 beneath OSX It'd be just right for you, a…