less markup by default -- this is stored persistently in Isabelle/Scala; removed dead code;
less markup by default -- this is stored persistently in Isabelle/Scala;
removed dead code;

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