Manpages of psi3 in Debian testing