Microsoft puzzled the world on Tuesday when it said the version of Windows to succeed Windows 8.1 would be dubbed Windows 10—jumping right over version 9. At the Windows 10 debut, Microsoft said it ...