In the interests of demystifying, or just marginally lessening the mystery of, the Windows 10 install on my W520 laptop, I’d like an explanation of a recent problem that now seems to have vanished.