Manpages of dh-coq in Debian testing