there is a "problem" when ezmlm meets gmail:
the ezmlm mailing list manager used for this list seems (unlike other solutions like sympa and mailman) not to set a "List-Id" mail header field which the dumb gmail "filter" facilities seem to require to recognize postings to mailing lists as such. the gmail "filtering" crap does not apply "filter" rules that match other headers like "List-Post" that ezmlm sets properly.
