Savagenews has posted news on the new release of DivX now at version 4.02.1
Bugfixes since 4.02.0:
This fixes issues with playing 3.11 encoded content (green blocks) and an updated help file which for some odd reason was not included in the last release.