It would be very helpful if someone has commented on a proof, then deletes their comment because it's not need anymore or they were mistaken, that the comment does not show up in the updates section OR has a line through it, something to show it was deleted. We have had a few times where people have left comments on a proof and then decided they weren't need anymore so they delete the comment, it doesn't show up on the proof, but it still shows up in the updates section. Without going into proofing activities, we have no way of knowing that the comment was deleted and think it still pertains to the current proof. It would be really nice if the comments are deleted, they are deleted everywhere, but if not possible, they have a red checkmark, line through them or something that would show in the updates, that this was deleted as well.
