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