Recently discovered https://www.top500.org/statistics/list/ listing the statistics for HPC. All of it is Linux. I love that if several of the companies that kept this information publicly they would be in the top, including my employer in May 2021. We would be the top five, probably the top three.