Too late; software patents in Europe were void so most people grabbed XVID/DIVX encoders from Debian Multimedia. PKF and the like.

And, yes, I remember w32codecs until MPlayer's bundled set superseded them. And mencoder for sure ;)