private String convertHTML(Element el, StartElementTree tag,
			ListIterator<? extends DocTree> it) {
		return htmlConverter.convertHtml(tag, el, it);
	}
Converts a html tag

@param tag the html start tag
@return the converted html
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/JavadocConverter.java