static File saveConceptsAsText(File destFile, S dbID) {
  saveTextFile(destFile, javaTokWordWrap(loadGZTextFile(conceptsFile(dbID))));
  ret destFile;
}