static S htmlencode2(S s) {
  ret htmlencode_noQuotes(s);
}