static void ai_fillTripleIndex() {
  print("Getting webs.");
  time2 {
    L<Web> webs = ai_filterBadWebs(allWebs());
  }
  print("Got webs in " + lastTiming() + " ms. Making triple index of " + nWebs(webs) + ".");
  time "Triple index made." {
    ai_replaceTripleIndex(webs);
  }
}