Today I learnt that GitHub Release download counts are publicly available! This is a really helpful way of seeing what proportion of users are on each platform.