Escapes text for HTML.
static String escapeHtml(String s) => s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">");