@amandato Thanks for the reply.
I can see the reasoning behind your decision but I would have thought that the kind of person who would make a conscious choice to listen to the ogg rather than the mp3 would be using Firefox or Chromium rather than a proprietary browser. I could be wrong about that, of course.
I think I would enable the HTML5 player for ogg.
Joe