From that day on, Alex was able to enjoy the benefits of Windows 10 on his trusty old laptop, thanks to the 32-bit ISO file download.
After downloading the ISO file: