Filter recent mentions

It's great that we can mute all sorts of mentions per server now, but my problem is that they still come up in the "recent mentions" tab. I check the recent mentions tab a lot, but do not want to see any of the mentions from the channels/server I muted the mentions from. I know there are filters to exclude @everyone, @role and to see mentions of only the selected server, but I want to see all @everyone and @role mentions in all servers except from the few servers/channels I muted those mentions from.

So my suggestion is to add the option to those filters with a checkmark with something like "include muted mentions".