<div dir="ltr">Checking to confirm hypothesis that Gmail removes Mailman-relayed messages that bear the same Message-ID as the original.<br></div>