@ pings

Even with the @ everyone and @ here suppressed, if someone mentions another role you were assigned, it still gets through. Mute means mute, it's really simple. If I mute a server, I expect ZERO NOTIFICATIONS regardless of any other settings!