I would like the designer to get a prompt (inside Proof) that indicates they have unresolved comments on this proof. It would be even better if the unresolved comments are highlighted or the comment numbers are listed or anything to draw attention to the unresolved comments, so we ensure everything ...