Manpages of dh-coq in Debian trixie