Win 7 has now converted, as if by magic, to Windows 10.
I fail to see how or even if, Folding is working, though. It's a bit disheartening.