It’s got to be because people liked the name/extension better, right? MP3 was so much easier to pronounce and cooler sounding than ogg. Same thing with DivX.