and somehow it skipped the recycle bin so it couldn't be promptly recovered. Or perhaps the files were on an external hard drive or USB-C flash drive, which now won't show up in Windows.