[pmlnr]

I have Gmail at work, and I can't filter on list ID in the header.

Gmail is not just simple users, it's also corporate who's paying for it.

[coldtea]

It's not like 99% of corporate users know about headers and header filters either.

[jiveturkey]

but you can. isn’t list name filter the list id? works for me.