static TreeSet<S> web_fullTextSet(L<WebNode> l) {
  ret new TreeSet(concatMap(f web_texts, l));
}