Manpages of proofgeneral in Debian bookworm