private String convertOrderedList(HtmlDocTree tree, Element el) {
		StringBuilder builder = new StringBuilder();
		int num = 1; // because #. doesn't always work like it should
		builder.append('\n');
		for (DocTree tag : tree.getBody()) {
			if (tag instanceof HtmlDocTree html) {
				if (html.getHtmlKind() == HtmlTagKind.LI) {
					builder.append(num++)
							.append(". ")
							.append(convertListEntry(html, el))
							.append('\n');
				}
				else {
					builder.append(convertTree(el, html.getBody()));
				}
			}
			else {
				builder.append(docConverter.convertTag(el, tag, null));
			}
		}
		return builder.toString();
	}
Converts an ordered list {@literal <ol>}

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