Some DivX encoders and applications give the option of using the divx file extension for DivX encoded files. The files are exactly the same as those with the avi extension, with the only difference being that they have substantially worse compatibility (many applications that can play and import DivX encoded avis do not work with files that have the divx extension). Needless to say, the extension is pointless and you shouldn't use it.