Discord voice/music channels in servers

So, some servers have a kind of music channel/s that can be used for listening to music. This is great and all, but some server owners tend to forget or just dismiss the option of turning mic usage off in these channels. I would like to suggest a user muting feature where you can actually mute the chat of certain users only for yourself. Ex: I mute this guy on my screen, the other people in the chat can still be heard and they can still hear said muted person but I cannot.