That's very useful and also super annoying at times for completely opposite and conflicting reasons. 🤣

Where is this? What I usually do when simply muting a user doesn't work, is add their "@ username" as a word to mute on the muted content filters in a client.