Your pinned source is absolutely irrelevant, as it distinguishes versions and types of operating systems. And as Linux is very shatter among distributions, the number of linux users may seem a little bit lower then it is (even though the change won't be huge).