+1 to this. You have to realize that over a billion users use gmail. You can't possibly imagine that prioritizing .0000000001% of users that know about something like filtering on custom headers is remotely good decision-making against all the other work being done that helps the majority of users.

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.

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

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