Add permission for user mentions

Being a moderator on a busy server, I get pinged often by trolls or people who just don't want to read the rules. There is nothing stopping anyone from pinging any user.

Please add a permission to grant users the ability to tag other users.