Comment by vkazanov

Both numbers are big, no? Especially given the complete dominance of linux in many other settings.