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.

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

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