[Fwd: Migration of the mailing-lists to Mailman3 and HyperKitty]