It would be interesting to see a breakdown by region on that statistic. I would say I work with about 80% Americans and 20% Europeans and Linux is definitely more popular amongst the Europeans. That said, a couple of my American colleagues have also switched from Macs to Linux, but not many people on my team use Jetbrains products (VS Code is more popular here). Overall, I would guess that Linux is more popular in Europe, South America, and Asia, while Apple is more popular in the US, but that's just a pretty rough speculation.