Steve Ballmer didn’t go far enough with Windows 8