$escaped_string = escapeHTML("<unescaped> string");
#Escape HTML formatting characters in a string.