load_thy: no untabify (preserve position information!), present spans instead of verbatim source;
load_thy: no untabify (preserve position information!), present spans instead of verbatim source;

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