What I wound up doing was to change the names of all the files I couldn’t delete. Then I rebooted, and was able to delete them, since they were no longer recognizable by the program!
I’m still checking around to find other crap they may have left lurking. Then I’ll do a defrag to try to mop up this debacle.