Use the @ to mention another user in comments. If it does not populate user list when typing user name, refresh the page and try again.
This is handy for hard to remember or hard to spell usernames. It assures you get the correct spelling of the username every time.
Also if the names dont show, they will NOT get the notification
@admin: Good to know