Manpages of pagetools in Debian unstable