Coq developers looking for community feedback, including on name change

sondages.inria.fr