static S htmlEncode2(String s) {
  ret htmlencode_noQuotes(s);
}