This is nasty hard, cause the message bus message we ship goes to “everyone” it does not filter out users that have the topic muted.
To fix this we would need
-
Either have the client be aware of topic ids for muted topics, which could be tens of thousands of ids (so this is a non starter)
-
Or, Have the client issue an extra AJAX call to double check if any of the topics in the batch of refreshed topics is muted. Which also is nasty.
I do not think anything easy can be done here.