static S htmldecode_dropAllTags(S html) {
  ret htmldecode(dropAllTags(html));
}