There is now a guard clause in open_process to deal
with the case of nil title (which may occur if we use
the bare [env.theorem] construct).