private String getRawHtml(HtmlDocTree html, Element el) {
		StringBuilder builder = new StringBuilder();
		builder.append(html.getStartTag().toString())
			.append(getRawHtml(el, html.getBody()));
		EndElementTree end = html.getEndTag();
		if (end != null) {
			builder.append(end.toString());
		}
		return builder.toString();
	}
Converts the html tree to a raw html string

@param html the html tree
@param el the element
@return the html
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/HtmlConverter.java