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?
For example, in the screenshot below I have two options which both end up in the string "Pekka". Is there some difference between the two possibilities? Will one of them ping a different user than the other one?
The screenshot is taken from this answer. (I found the answer from this SEDE query. The query was posted in Tim Stone's comment in one of the discussions about comment replies for users with the same username.)
This is the question on MathOverflow Meta which lead me to asking this: Is there a way to @
exactly one of two users whose names differ, if at all, only by whitespace? (But the two questions are not the same.)