Ability to Mute Users

There should be an ability to mute some users in text chat. There are a lot of users in servers that I'm in that use the server a lot, and so I don't want to get notifications whenever they send a message. But I still want to keep that server unmuted. I don't want to block them, so there should be an option to mute users instead.

Edit: I think the messages should also have an option to be hidden, kind of like blocking a user, but they can still message you and react to your messages.