Ran AVG full scan - no virus found. Left everything as-is since Avast couldn’t repair the false-positive files. Hope this helps others. Sounds like I’m not the only one who had this happen.