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.
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).
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.