static void dbSaveEvery(double seconds) {
  db_mainConcepts().autoSaveInterval = toMS_int(seconds);
}