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