O.Kela, Good to know that the previous version of the OS switching tool works in Windows 10. I didn’t want a possible inconvenience of getting stuck in a pre-boot environment so I followed the advice to install a newer version of the tool.
Stratis, The above means that the task of upgrading to Windows 10 has now become even easier. 🙂 Simply upgrade to Windows 10 when prompted by the Windows Update application after having installed all the necessary updates for Windows 8.1. (Please note that you may have to look for updates several times before you get the upgrade prompt.)