static S ai_textHTML(WebNode n) {
  S text = web_text(n);
  ret n == null ? "-" : ahref(encyclopediaLink(text), htmlencode(text));
}