How come the DivX Validator that got installed with the codec and stuff want to rename the files to .DivX then? This doesn't make any sense to me.. I have no idea, but I have seen many, MANY DivX ...