static S web_nodePairToText(Pair<WebNode> p) {
  ret p == null ? "-" : web_text(p.a) + " " + web_text(p.b);
}