Sono normalissimi MPEG4; non era necessario risalvarli in DSC con VDM, ma bastava semplicemente rinominarli, sempre che non vi fossero streams multipli (audio e/o sottotitoli)
L'estensione .divx dovrebbe essere propria della DivX Networks, che detiene i marchi sul codec DivX appunto.
Di solito si possono ottenere files con quell'estensione con programmi come DrDivX o il DivX Converter, cui corrisponde effettivamente anche uno specifico contenitore (flusso video, flusso audio multiplo e flussi sottotitoli)
E' strano che il codec sia XviD e l'estensione sia divx, ma d'altra parte l'estensione potrebbe anche essere stata modificata successivamente.
