Windows 8 is at 7.41%.
3.42 + 1.65 + 1.65 + 0.53 = 7.25%
It used to be 3.42+1.73+1.76+0.53
Reply on news.ycombinator.com