Ah, that’s too bad, but many thanks for getting back to me. I did some more testing by backing up the supposed save file and restoring it after playing the game a bit more, but that didn’t really restore the state!
I guess this is yet another problem with closed source software, in that you’re not allowed to study what’s going on or make changes, and gives all the power to the developer instead of the user!