Is anyone able to load the mailing list link at https://sympa.inria.fr/sympa/arc/coq-club/2021-04/msg00125.h... or is Sympa getting hugged to death? I'd like to read the discussion to understand more about the perspectives of people who feel uncomfortable with the name.