Gmail mute not working

I think he’s referring to mute by subject of email, or email headers.

Right now the list-related email headers include the category, as suggested by @downey, although they used to include the specific topic ID.

We’d need a bit more detail on how GMail handles mutes though; what fields / headers does it look at?