sS htmlFullDecode(S html) {
  ret htmldecode_dropTagsAndComments_trim(html);
}