avoid Source.fromFile, which does not necessarily close its input;
avoid Source.fromFile, which does not necessarily close its input;

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