As someone who’s not a native English speaker and who doesn’t use Coq I feel I can’t even be bothered to take a stand in this question. Whatever. Hopefully the people in the community can do what they feel is good for current and future Coq users.