Manpages of src:petris in Debian stretch