Windows seemingly lost 400M users in the past three years