I know 100℅ of the world top 500 supercomputers use linux, and around 65℅ of world servers. I want more info like this to help me campaign towards GNU/Linux use. Thanks.