public static String wrapAsHTML(String text) {
		return HTML + fixupHTMLRenderingIssues(text);
	}
Marks the given text as HTML in order to be rendered thusly by Java widgets.

@param text the original text
@return the text marked as HTML
Ghidra/Framework/Gui/src/main/java/ghidra/util/HTMLUtilities.java