Added pretty print support to extraction to HTML or XHTML