I always wondered if users get notified about comments were their name was edited in afterwards.
I write a comment
See this link here
then I edit it to
@someuser: See this link here
Does the user get notified now?
After experimentation within this question the current behaviour* has been found to be as follows:
If at any point @yourname was in a comment you will get a notification in your inbox.
But you will only get a red(1) notification if @yourname is currently in the comment (either originally or by edit), i.e. if @yourname is edited out and you haven't seen the red(1) notification yet it is removed.
* See the old behaviour
Yes. As @michaelb958 and other tested in this same question. I got all those three notifications after their edit.