static String htmlUnquote(S s) {
  return htmlunquote(s);
}