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