Well, I tried the recovery options and none of those even worked. Wasted a few days running tests which indicate a problem, but then there’s no other way to recover than full restart, or probably I could have deleted some more files (?) manually, to remedy the situation, but I’m not going to play with that stuff and waste another week.