Manpages of proofgeneral in Debian stretch