static void ai_deleteWebsMadeByProgram(S progID) {
  deleteFile(programFile(progID, "webs-made.txt"));
  deleteFile(programFile(progID, "triples.gz"));
}