static S tok_html_noTags(L<S> tok) {
  ret trimJoin(dropTagsAndHTMLComments(tok));
}