[pythux]

Only tangentially related but I wrote some code to manipulate these filters with the hope that I would help manage/centralize them more easily: https://remusao.github.io/posts/parsing-thunderbird-msg-filt...

Leaving it here in case that’s useful to anyone.