[shardling]

I don't see how ogg is worse than mp3.

And if you're considering Ogg Vorbis, lets remember that the "full" name of mp3 would be something like Moving Picture Experts Group 2 Audio Layer III.

People just call them by their file extensions.

[hackernewbie]

But they didn't. Noone ever just called it ogg. It was always Ogg Vorbis, sometimes Ogg/Vorbis.

Some file types just get an easy ride, like jpeg/jpg. Imagine if it was actually routinely referred to as a Joint Expert file. Maybe pngs would have taken off faster (they are still less frequently searched than gif or jpg according to gtrends).