OK. I tried the “purge-broken-files” command. That seemed to work. Now ’Verify Files’ and ’Repair Database’ both finishes in 2 minutes without errors. Then I ran an ordinary backup. It took 1.5 hours(!), but finished with only minor warnings, so everything seems to be getting back to normal. 