Create to-dos for newly-mentioned users in edited notes
Problem to solve
Users sometimes forget to mention the intended recipient when leaving a comment. Currently, editing the comment to add the mention does not trigger a todo for the recipient. This leads comment authors to think they have notified the recipient, yet the recipient has received no such notification.
Proposal
We should generate todos for users that are mentioned when a note is edited.
Edited by Jeff Tucker