Is there a consensus on how correct browser market share calculations are? Google does apparently not even know what OS I am using.