In [slack](https://gitlab.slack.com/archives/C0AR2KW4B/p1576532651088700) [internal], I asked whether or not users were pinged when they are `@-mentioned` when editing a comment. It sounds like we create a todo for the mentioned user but we don't email them. It would be nice to email the user for users who rely on emails rather than todos.