static S ai_renderNodeHTML(WebNode n) {
  ret ai_renderNodeHTML(n, "-");
}

static S ai_renderNodeHTML(WebNode n, S defaultText) {
  if (n == null || empty(n.labels)) ret defaultText;
  ret joinWithComma(map(func(S s) { ahref(encyclopediaLink(s), htmlencode(s)) }, web_texts(n)));
}