static S htmlQuote(S s) {
  ret "\"" + htmlencode(s) + "\"";
}