Manpages of papi-tools in Debian stretch