If a topic is so noisy, fiery or annoying that I will not to want to see it by using mute, I don’t want either that someone pop it up by mentioning me. If mentions come thru it gives a tool to bother too.
Just like, even differently, in Facebook where one has disabled notifications from a topic, and then someone uses mention, and notifications are back again.