Manpages of divxcomp in Debian unstable