Not showing red number for user pings

I like to keep my discord clean, no pings, nothing. I check my messages. But some people ping individual users in succession to get around @everyone being muted, but I believe there should be an option to disable this. This way I won't see the number. I have turned off all of my notifications but the little red number still agitates me. I've tried setting it on mute, setting it to nothing, although I no longer get a notification I still see this number.