[ihojman]

I don't think they are making a decision, rather being pushed to make a certain decision, that might not necessarily match their view.

I aknowledge English as the lingua franca of our digital world, but that doesn't mean that we should be attached to every aspect of English speakers cultural environments, basically because we have our own environments too, and are just as valid as theirs.

[tlringer]

The core team of Coq developers in France has mulled over this for years, but hasn't had enough momentum or interest to push for it. Right now the broader community of contributors and users, myself included, are arguing our points, suggesting name ideas, and attempting to drive some kind of consensus. My understanding is that the final decision will be democratic among users and contributors. Some are projecting weird politics onto this, but the conversation is otherwise proceeding quite civilly and constructively.

Almost all dissenters in the thread (possibly all of them, I don't remember) do not work for Inria, the research institute at which Coq is professionally developed. Though they are community members like me (I am lightly in favor of the change, and I am both a contributor and a user).

[gnull]

> [they are] being pushed to make a certain decision

Is there any evidence of this?

I can easily imagine authors making that decision voluntarily.