Print out the input with HTML entity sequences for all but the simplest characters.
Check to use decimal escapes if they're shorter.
Always use decimal.
Clear
only works with javascript on