static TreeSet<S> web_textSet(L<WebNode> l) {
  ret new TreeSet(map web_text(l));
}