Manpages of puf in Debian testing