Manpages of psi in Debian unstable