static String escapeHtml(String s) => s.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">");