[Mailman-Users] Changing servers and upgrading at the same time