static File allMainConceptFiles(S progID) {
  ret existingFiles(map(programsWithData(), progID -> conceptsFile(progID)));
}