Cleanup use of Util.escapeHtmlChars

Util.escapeHtmlChars is used too much, and in the wrong places, and blurs the distinction between plain text and raw HTML. In particular, it should only be used in the HTML parts of the standard doclet and not in format-neutral code.