restart_loader: do *not* ThyLoad.reset_path;
restart_loader: do *not* ThyLoad.reset_path;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle