Some user used @ harry in a comment to respond to me, but I did not get any notification for that. I guess this is because of the space between "@" and the username. So is it possible to have notification when someone use spaces between @ and name?
What is meta?
- Any Stack Exchange user can ask a question
- The community provides support, votes on ideas, and reports bugs
- Your voice helps shape the way Stack Exchange operates
In my opinion such thing is not worth spending time on. You can also ask to correct typos (@Harri instead of @Harry) and there's no end to it.
There are certain rules that should be followed, and in this case those rules are very simple and clear.
I would just alert that user of his/her mistake, it's pretty rare anyway. Those who already use
Allowing a space after a @ would mean to trigger a notification, in the case @ is followed by a word that matches a username, but that in the comment is not used as username.
I would suggest the comment notification system just ignore the space an automatically notify Harry rather than check and notify the user who is typing.
The normal rules would still apply such that notifications would only be sent if that user was already involved in the question.