Actually, I just figured out that old trick: rebooting. Duh, double-duh. And there they were, all the nice files. I should have realized, with a new computer. Somehow I never remember to do that.

But many, many thanks for taking the trouble to explain. I'll tag this in case of later problems.