@mentioning at all should require a permission

Many servers have a problem with people spamming username pings (@mentions), causing notification spam. This could easily be solved through an "@mention users" permission.

As it stands there is no way to prevent a user from pinging another user without outright banning them from the channel.