When typing (or editing) a comment, after typing @ and the first letter of a username, we're offered the choice of usernames that were in the conversation and can input them into typing the whole username. Is the effect the same if the username comes from autocomplete and if the string is typed? ...

How do the comment replies (aka "pinging users") work? Who can I send an @reply to? How do I respond to a specific user when entering my comment? Will they be notified? What do people mean when they talk about "pinging" another user? Related: How do I view the recent replies to things I have w...

My username isn't too specific (Jasper). Every once in a while, I come across someone else with the same name. And sometimes, we even comment on the same question or answer. Now, I don't mind all that. However, as such a situation occurred today, I was wondering about how pings work. Based on th...

Suppose there are two users that have commented on an answer. Both have the same user name, and I want to reply to one of them. How can I do this? It appears that, under the current system, there is no way for me to do this. Specifically, from How do comment @replies work?, I see that: 4. Ma...

We have two bobs at the moment. Bob (with the fox avatar) is a long time user, and bob, with the green avatar. I'd like to ping Bob, without bothering bob with my pings. I see two ways to do this - It's trivial for me to get the username - so could we have a way to ping a user by user id numbe...