Note that they count the distribution ChromeOS as separate from other Linux, for me they add up to 7%.

But they also show both Android and iOS at 0% which makes me think the dataset is not really representative.