It was user error on my part. To free up disk space some time ago I had deleted OneDrive. When I reinstalled OneDrive a couple of days ago the greyed-out files were gone entirely. So I had erased them when I deleted OneDrive. Lesson learned!
