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.