What's a good data source for how widely used various Linux distros are, similar to StatCounter? It isn't DistroWatch, is it; I mean, it only shows how often a certain distro page is visited