AgentSmith (UserID=1) (not his real name) decides to ask a question at math.stackexchange.com.
Another user with the same name (UserID=2) comments on this question and after a while a third one, also, who guessed it, with the same name (UserID=3).
Now what happens if AgentSmith1 wants to address one specific AgentSmithX with another comment. Who will be notified, when he writes: "@AgentSmith,..."?
We know that "Only one additional @user can be notified; the post owner will always be notified."
So, will it be more than one notification? This would still be in accordance with the status-declined of the feature request: Allow more than one @name notification per comment
Since there are plenty of users sharing the same name (there 8 pages of users named John), did this ever happen?