For some applications Ogg did take over. Music in videogames is often Ogg-encoded due to potential legal problems with including mp3 support. For end users I'm

For some applications Ogg did take over. Music in videogames is often Ogg-encoded due to potential legal problems with including mp3 support. For end users I'm actually not sure either MP3 or Ogg are dominant anymore. I would guess the iTunes Store's choice of AAC has pushed that format significantly.