The linked community survey suggests that a plurality of votes were in favour, which would explain it: https://discourse.rocq-prover.org/t/coq-community-survey-

The linked community survey suggests that a plurality of votes were in favour, which would explain it: https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001 https://discourse.rocq-prover.org/t/coq-community-survey-202...