Deny Pinging Users with specific role

Give us an option in the role management to deny pings for users with a specific role.

Currently it's mainly done by bots which instantly delete these pings (for example @Spaex) but we still have the Notification send... In big communities it's annoying to get pinged way to often by people. Since we only can stop them pinging groups it would be awesome to get the opportunity to also make personal pings on this server stop if the user has a specific role there.