Here’s one from 2022, in with only 20% of government computers still use Windows. This article also only mentions government computers. I say it’s very possible that the government has fully switched to Linux. I tried daily driving Deepin 20 once and the only major problem was that most of its packages were very outdated.