Manpages of psi3 in Debian buster