Ah, I see. As long as you don't die, you can load from where you left off. I guess if I really wanted to then, I could find a save point some time soon before facing the Doctor, and then copy that file, so that I can keep trying to beat the Doctor without starting back at Depth 01.
Oh that's...