private String getRawHtml(Element el, List<? extends DocTree> tree) {
		StringBuilder builder = new StringBuilder();
		for (DocTree tag : tree) {
			switch (tag.getKind()) {
				case START_ELEMENT:
				case END_ELEMENT:
					builder.append(tag.toString());
					break;
				case OTHER:
					if (!(tag instanceof HtmlDocTree)) {
						logError(el, tag, "Unexpected OTHER tag kind");
						return "";
					}
					HtmlDocTree html = (HtmlDocTree) tag;
					builder.append(html.getStartTag().toString())
						.append(getRawHtml(el, html.getBody()));
					EndElementTree end = html.getEndTag();
					if (end != null) {
						builder.append(end.toString());
					}
					break;
				case LINK:
				case LINK_PLAIN:
					builder.append(getRawHtml(el, ((LinkTree) tag).getLabel()));
					break;
				default:
					builder.append(docConverter.convertTag(el, tag, null));
					break;
			}
		}
		return builder.toString();
	}
Converts the provided tree to a raw html string

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