static void ai_invalidateWeb(Web web) {
  if (web == null) ret;
  ai_postTriple("Web " + web.globalID, "is", "invalid");
}