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