Show the most recently saved output, including proof-tree output
:Pso! provides output just like :pso, except that proof-tree is included; see pso.
Pso! takes the same optional arguments as pso; see pso, and also see psog and psof.
