Manpages of petris in Debian wheezy