Remove user's permission to @ mention anyone OR Permission to block users from mentioning a certain user

There are some people who abuse the @ mention to not ping roles or the dreaded @everyone, but specific users. The "Allow role to use @everyone" toggle is already there for users who abuse @everyone and "Allow users to @ mention this role" toggle exists, but what about "Allow user to @ mention other users" or "Block all @ mentions from this user" as a server setting.

Specifically blocking a person exists, yes, but what if you need to block someone from @mentioning other users needlessly, but still want them to talk.