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...

It doesn’t seem so, but by a slight majority on overall respondents it seems like changing the name was favored.

From the post it seems that anglophones were significantly (as in statistically) more likely to change the name for exactly the reason one can imagine