sS htmlencode_noQuotes_prettier(String s) {
  if (s == null) ret "";
  StringBuilder out = new StringBuilder(Math.max(16, s.length()));
  for (int i = 0; i < s.length(); i++) {
    char c = s.charAt(i);
    if (c == '<') out.append("&lt;");
    else if (c == '>') out.append("&gt;");
    else if (c > 127 || c == '&') {
      int cp = s.codePointAt(i);
      out.append("&#x");
      out.append(intToHex_flexLength(cp));
      out.append(';');
      i += Character.charCount(cp)-1;
    } else
      out.append(c);
  }
  ret out.toString();
}


private static final HashMap<String, CharSequence> htmlencode_noQuotes_prettier_lookupMap;

static {
  htmlencode_noQuotes_prettier_lookupMap = new HashMap<String, CharSequence>();
  for (CharSequence[] seq : htmldecode_escapes()) 
    htmlencode_noQuotes_prettier_lookupMap.put(seq[0].toString(), seq[1]);
}