Will we ever get an option to mute pings?

You know, how you get pinged 50 times by one person every single time you make a small mistake or so? The passive aggressive flaming and all that? It'd be nice if we could. Muting is fine, but the spam pinging question mark makes it worse. (/ignore doesn't work, btw)