Mailman on @exim.org should now be DMARC-munging, including for p=none
domains where failure to munge is a privacy breach.
See:
https://bridge.grumpy-troll.org/2012/02/how-private-is-your-mailing-list-subscriber-list/
https://bridge.grumpy-troll.org/2012/07/mailing-list-recipient-disclosures-with-dmarc-redux/
for why that matters.
So if this mail flows through, with From: munged, and I receive it also
in a gmail inbox, then the mailman upgrades are complete, CGI install
fixes are complete and we're good to go.