Adapt to new mailing list software (GNU Mailman)