I upgraded my W7 to W10 just now. Amazingly, it retained my dual boot config, replacing the "Windows 7" option with "Windows 10". I was puzzled, since my W7 Ultimate should be eligible for W10 Pro, but the boot menu said "Windows 10". However, Control Panel --> System shows W10 Pro. All programs...