Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading."

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading." #2019