I'm planning to push MP3 audio output support soon, which should get audio
playback working on iOS devices where the ogv.js shim doesn't load yet.
Feel free to ask, answer, or comment at
https://commons.wikimedia.org/wiki/Commons:Village_pump#Adding_MP3_audio_ou…
Since earlier discussion on MP3 upload was pretty positive and tools folks
like Dispenser say scanning them for copyvios is not a problem, I'd like to
push on enabling the upload soon too.
Both should be simple cases of switching the defaults on from off.
-- brion