static void ai_replaceTripleIndex(L<Web> webs) {
  tripleIndex().clear();
  for (Web web : webs)
    tripleIndex().addWeb(web);
}