static HashSet<S> web_fullTextSet_hash(L<WebNode> l) {
  new HashSet<S> set;
  if (l != null) for (WebNode n : l)
    set.addAll(web_texts(l));
  ret set;
}