Flag another user in a comment

[pkrall520]

Hello,
I think it would be a cool idea to tag another user in the comments.

Hope this is the right spot to suggest something like this.