[Mailman-Developers] Ignoring "mail." in domain names

[Tom Neff]

Another way we could really reduce moderator headaches would be to teach
Mailman to try removing a leading "mail." in the domain part of the address
if a member lookup fails.  I get a lot of people who join lists as
JSmith at splonk.edu and end up posting (immediately or six months later) as
JSmith at mail.splonk.edu.  If I had per-member aliases I could add them as
needed, but this one case is so pervasive that it might make more sense to do
it list-wide or even hard code it.