Manpages of dh-coq in Debian experimental