[Mailman-Developers] DMARC mitigation code question