Manpages of dvilx in Debian testing