[polyml] Future of the mailing list