I have DivX but it's by far the slowest player on my WinXP netbook. It also checks for updates a crazy number of times, but I'm sure I can change that somewhere?
Is there a less resource-heavy alternative?
What file types are exclusive to DivX compared to Windows Media Player? The way I figure it, I will always have WMP for the wmv format so if it's possible to install codecs in it for all of DivX players supported files I'd do that.