You can now simply type ‘@Name of user’ to mention someone in your post or comment.

It’s also possible to mention an entire group of people by writing ‘@Name of the group’.