Which particular encoder? There are at least three different DivX encoders usable with mencoder, lavc's ffmpeg, xvid, and binary-only divx4. Are there differences between them? (dang pine doesn't allow me to quote the text)