Disable individual pings for users on discord server

I have a revolutionary idea. How about you guys add something like completely disabling the ability to ping anybody in a discord server. I just experienced a raid where some kid went and pinged everybody individually and it really pisses me off. If I could disable pings completely then that wouldn't be a problem.