static void ai_deleteInvalidationTriples() {
  new Matches m;
  for (TripleWeb w : ai_triples("$X", "is", "invalid"))
    if (swic_trim(w.a, "Web ", m) && isGlobalID($1))
      ai_deleteTriple(w);
}