According to the analyst, about 40% of the respondents were not JetBrains customers so our of 19.5K that's about 7,800. The difficulty is that all these dev surveys have some sort of bias; it seemed to me that the company was being straight about this. StackOverflow is biased towards SO users; GitHub is GitHub users.