Add user mentions to comments.

[RealistikDash]

The idea is to allow discord-style tagging of any user in the comment section. Eg Hello @RealistikDash. This will send them a message, saying where they were mentioned and the comment mentioning them.

This will likely be added as a post-processor.