Role permissions regarding pings

Greetings to the discord team! I had a kind of suggestion/question/...gripe? With something I found out today. So i was wondering what the point of having the option to not let anyone ping a role under individual roles is. Considering that there is a permission under the everyone role that allows them to ping here, everyone, AND individual roles even if the permission to not be able to ping individual roles is turned off. Doesn't that make things redundant? My suggestions would be: The bad one: remove the option of being able to ping a new individual role of you are just gonna give permission to everyone to do it regardless. The good one: separate or entirely remove that part of the permission from the everyone role so that the fact that we can make individual roles able to be pinged or not by people actually works and makes sense. Thank you for your time, and I hope this does get through. I also hope I posted this in the right board.