[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.