I think it’s relative change and not percentage points, from quick mental math that seems to add up. Very weird choice, maybe trying to inflate the perceived increase in linux users. So it would be a change of a bit more than +1 percentage point for linux.