static void web_reindex(Web web) {
  web.index.clear();
  for (WebNode node : web.nodes)
    web_index(node);
}