I think that was just with his fresh install which caused additional problems, he still had other issues with his original install, which I assume was 64 bit. It's not exactly clear from his writing though.

Also this makes me wonder why 32 bit versions of Windows 10 even exist. Are 32 bit x86 CPUs even being made? I thought they were phased out a long time ago, and any hardware from that era would struggle to run Windows 10.