Manpages of paulstretch in Debian stretch