How to convert OGG to MP3 — Desktop demonstration