Manpages of petris in Debian unstable