Manpages of dh-coq in Debian bookworm