It would be really useful for my organization when creating a new version of a proof, to have the option to carry over any unresolved comments from the previous version to the new version. This wouldn't necessarily be relevant for all scenarios, so having the option to carry them over would be impor...