more permissive File.read_lines, which is relevant for Managed_Process join/kill;
more permissive File.read_lines, which is relevant for Managed_Process join/kill;

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