I am curious about how mentions involving different users with the same username are managed.
For example, if there's a user called Joe and another user called Joe, how are they distinguished when you mention them through @J ?
Are they shown the same, differently or what? Is just one user notified or both?