I'm sure the usage of has declined dramatically since ChatGPT came to existence, at least for IT professionals (I judge by my own experience). Those 12K I believe are result of that. Now that is integrating it into Bing I believe we will see huge transition.