Use xth to convert XML/XSL to HTML