fun String.escapeHTML(): String
Escapes special characters of a String for HTML output. Handles double quotes, greater than, less than, ampersand, and characters greater than eight bit.