public static String escapeHTML(String text) {
		return escapeHTML(text, false);
	}
Escapes any HTML special characters in the specified text.

@param text plain-text that might have some characters that should NOT be interpreted as HTML
@return string with any html characters replaced with equivalents
@see #escapeHTML(String, boolean)
Ghidra/Framework/Gui/src/main/java/ghidra/util/HTMLUtilities.java