static Set<GlobalID> ai_invalidWebIDsFromDB() {
  new L<S> ids;
  new Matches m;
  for (TripleWeb w : ai_triples("$X", "is", "invalid"))
    if (swic_trim("Web ", w.a, m) && isGlobalID($1))
      ids.add(asGlobalID($1));
  ret ids;
}