@Gargron At best, offering the option to mute any mention of whoever you've muted is the way to go.

But making it the by default options sound like too much.