[lelandfe]

Ah, the community voted on it. The reason why the survey was proposed shall, however, remain a mystery.

[thih9]

> how different Coq users use Coq differently and express different needs

> applying Coq to do software verification

> encourage others to learn and use Coq

To be clear, some people giggle when they read or hear the above and this is the reason.

[jghn]

I was not part of the survey but count me as someone who felt concern whenever I had to say it in a public or professional setting.

[tacker2000]

According to the post, 24% "expressed discomfort: (it is uncomfortable or awkward to have to use the name Coq)"

PS: i am impressed by the time and effort that was given here to create fancy graphs, regressions, tests, etc...