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