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

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