grep application/ogg -lr content
So play-resources.js knows when to use <audio> instead of <video>.
pentamusic-2010xxxx - corrected filesizes