html -> xml::document converter