To mention other users in the comments:
Hit + or @, and type in the email address of the person you want to mention in your comment.
Please note: They’ll receive a personal email notification, even if they turned off comment notifications.
Let us know if you have any questions by reaching out to us on chat or emailing us at firstname.lastname@example.org! We're always happy to help!