more robust error handling (NB: Source.source requires total scanner or recover); tuned;
more robust error handling (NB: Source.source requires total scanner or recover);
tuned;

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