Can a feature be added to make the name of an already established proof static? Now when a revised proof is added, if it is a single document or multiple documents added to a combined proof this is not the case. If a single document is added as a new version, and the user does not edit the document ...