Manpages of puppetserver in Debian testing