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