On Thu, Dec 18, 2008 at 16:22, Josef Spillner <josef at ggzgamingzone.org> wrote: > Vote: Extend mailman to take this as a user preference and send a bunch of > mails with this prefix and another bunch without :) Good idea, actually. Can you poke upstream about that? They are a rather nice bunch. Richard