[HTML5] Always prefer ogg.