Posting here in case someone publishes the 10K+1 plugin before you manage to take a screenshot.
Joking aside, congratulations to the JetBrains Marketplace team and everyone who contributed, and thank you for the support 
p.s. I miss the Slack workspace…
It seems like it only displays 10.000 even when new plugins are released…
I may be completely wrong, but if the plugin ID is incremented by 1, given the IDs present in plugin URLs, I would say there are at least 25.000 plugins already, and we reached 10.000 plugins ~7 years ago 
This is probably because of this: 📢 Upcoming plugin blocks for unverified traders
