Comment Auto-Save in ProofHQ

a feature where comments are “auto-saved” as they are put in. For example, you could type a comment and then click to add another comment and so on while the comments save without needing to click “save.” Similar to if you were working on a shared document in Google Drive.

This would be especially helpful when multiple people are on a large proof and it starts deleting or garbling comments.