Would you care perhaps to explain your pithy explanation about how since Divx is a Codec and avi is a file format, how exactly that translates into all Divx files will have an avi extension? If you don't know your stuff, maybe you should just keep quiet and leave it for the big boys.