When creating a new version of a proof, there's no way to save your progress before completely creating the new version. It would be nice if you could start creating a new version, save, and then come back to it when you're ready to finish creating it.
