Windows 10 gets a fresh command prompt and lots of hotkeys