Whether the name should be changed was a separate question and there was a slight majority in favor of changing it. Among respondents who favored changing the name, there were options that were more liked than disliked, but not by the entire community.

You really should take a look at their evaluation. It's quite comprehensive: https://coq.discourse.group/t/coq-community-survey-2022-resu...