Manpages of src:proofgeneral in Debian bookworm