To be clear about the other activity I was originally doing when Windows Defender did its quarantine; I was launching other cleaning programs in preparation to running them. One of them was Microsoft’s Disk Cleanup and maybe that’s connected. Anyway, I just did a Full Scan with Defender and all is OK. I’ll use the scanner from Trend Micro later.