private String convertAnchor(HtmlDocTree html, Element el) {
		String label = convertTree(el, html.getBody()).stripLeading();
		Map<String, String> attrs = getAttributes(el, html.getStartTag());
		String id = attrs.get("id");
		if (id == null) {
			id = attrs.get("name");
		}
		if (id != null) {
			return "\n.. _" + id + ":\n\n" + label;
		}

		String href = attrs.get("href");
		if (href == null) {
			logWarning(el, html.getStartTag(), "skipping anchor without an id or href");
			return "";
		}
		if (href.startsWith("#")) {
			// internal
			if (label.isBlank()) {
				return href.substring(1) + '_';
			}
			return '`' + label + " <" + href.substring(1) + "_>`_";
		}

		// external
		if (label.isBlank()) {
			return '<' + href.substring(0) + '>';
		}
		return '`' + label + " <" + href + ">`_";
	}
Converts an anchor {@literal <a id="#example">link text</a>}

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