When replying to a user in a comment, their name is automatically suggested in a pop-up:
But that only works if they have already left a comment.
Sometimes I want to notify a user who has made a suggested edit, but there no pop-up that suggests the name of these users:
Does the user still get a notification of the comment if you manually type in their username?
I have changed this to a feature request, instead of posting a new question. Is this OK?