We'd like to be able to distinguish proof comments for external versus internal use. When providing feedback on proofs, there is no need to share internal debate or previously resolved issues when releasing the proof to external collaborators. This could be achieved through:
the ability to flag co...