static File stefansOS_sessionFile() {
  ret conceptsFile(stefansOS_dbID());
}