eliminated pointless catch of unlikely exceptions, which may occur in Doc.contents already;
eliminated pointless catch of unlikely exceptions, which may occur in Doc.contents already;

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