[Design-team] Re: Switch to Mailman 3 and HyperKitty