Expanded explorer.ex_ again, restarted to safe mode -- same error message.
Is it complete Windows re-installation time now? :sad:
Or could we do some other kind of scan, possibly an online scan, that will reveal the problem? (So far, we've kept the laptop disconnected from the network in case there was any risk of nasty hijacking...)