private static String fixupHTMLRenderingIssues(String text) {
		if (text.startsWith("/")) {
			// Java's HTML rendering will not show the text if it starts with a forward slash...
			// not sure why...this escape seems to work
			text = HTML_SPACE + text;
		}
		return 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