Stats about general internet usage should mean very little to GitHub since it is used by a specific subset of the population which I'd wager is way more heavily skewed towards laptop/desktop
Also shouldn't they be able to just know this based on traffic? Why the need to use third-party general research as a source rather than "Our traffic patterns suggest X"?