I’ve come to realize that I rarely - perhaps never - actually want to mute a topic forever. My main reason for muting a topic is because it got a little bit too noisy for me, but topic noise practically always blows over in a few days/weeks.
So what I want to do is avoid the noise for a while, rather than never hearing from this topic ever again. I wonder if we would be better served with an interface similar to that of most social chat applications today:
I haven’t thought through the UI implications yet so do please contribute to that if you have any ideas.