[MM3-users] Re: migrating Mailman to a new server