Soft Mute for Annoying Discord Users

The ability to mute certain discord users pings since they want to spam them everywhere without much care... Short of blocking them entirely... That way they can still reply to every message and try to be obnoxious but you can just mute their profile for being annoying... I do not want to have to block every person who pings me constantly over the most pointless stuff one time in every server... No technically they arent spamming, but I do not want to have to block this player for being an idiot... Or people being too stupid with replies, replying to my one message multiple times to give me 5 pings instead of just 1... No technically they arent doing anything wrong, but they are also being rather annoying... And I would prefer muting this player for myself rather than getting management involved or blocking them... I think this feature could greatly improve discord user experience for a lot of players and give more people a better tool for dealing with obnoxious users...