static void ai_spec_smartBotsFiles() {
  for (File f : listProgramFiles(#1010745))
    ai_postTriple("Smart Bot's files", "include", f.getName());
}