Manpages of dxtool in Debian testing