even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast* machine;
even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast* machine;

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