clarified mkString: no extra line-breaks for XML.Body;
clarified mkString: no extra line-breaks for XML.Body;

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