Manpages of src:page-crunch in Debian stretch