[Its.an.education.project] Minor mailing list admin suggestion

[Kevin Cole]

Hi,

Mailman allows the list admin to set the prefix of a message subject
to whatever one chooses.  At the moment [its.an.education.project]
takes up a considerable amount of real estate.  Perhaps something
shorter there would work.  (For those using the subject line as your
filter, you may be able to switch to using the listid with something
like:

    listid:"<its.an.education.project.tema.lo-res.org>"

That string works well in Google's filters.  Or the actual message header:

    List-Id: <its.an.education.project.tema.lo-res.org>

Just a thought...