Editable comments

Reported by @MerCury:

Comments are currently set in stone. They could be editable, e.g. for fixing mistakes.

Doing this right means keeping historical versions of the comments too.