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.

Did this answer your question?