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