// works only when processConceptsOverwriteFile() is called before db()
svoid replaceConceptsWithTextFileOnNextStart(File file) {
  if (!file.exists()) ret;
  gzipFile(file, getProgramFile(dbProgramID(), "concepts-overwrite.structure.gz"));
}