Tagging teammates in comments

Hey All,

I see there's an old feature request to be able to tag teammates in SwaggerHub comments, did that ever get implemented? I can't find anything in the Help section that tells me how I should format a teammate tag if it's possible. Thanks.