removed note about "IO exceptions" during HTML generation (Isabelle now just prints a warning)
removed note about "IO exceptions" during HTML generation
(Isabelle now just prints a warning)

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