Manpages of psi3 in Debian unstable