Manpages of puf in Debian unstable