static void web_deindex(WebNode n) {
  for (Lisp label : n.labels)
    node.web.index.remove(label, n);
}