Thu, 09 Aug 2012 13:05:11 +0200 gibus When extracting body of a document in HTML source format (i.e. without pandoc conversion before display), use BeautifilSoup, which is more tolerant, instead of xml.dom.minidom, which crashes too often.
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 tip