Manpages of coq-dpdgraph-tools in Debian trixie