FWIW, the header is insertted before the mail is sent out (via GNU
mailman). I see the header in all incoming messages in my inbox, for
I just subscribed my gmail address to the list; I'll see if google is
doing something odd over the next few posts to this list...