[SeanDav]

I wonder if this is the reason I am still getting notifications on 2 servers. It sounds plausible, as they are game related servers, so quite possible I was assigned a role. I don't recall investigating this, although it is several months ago since I last tried solving mute issue.

This does not solve my mute issue, but great to know that this might be the cause! Thanks for this.

[Kihashi]

Yeah. You can mute @everyone and @username, but you cannot mute @role. It's really irritating in lots of gaming servers where they assign roles by game rank or something similar.