Revert email list -> mailing list, as per discussion on several other PRs.