static File snippetDB_textFile(S snippetID) {
  ret newFile(snippetDB_dir(), psI(snippetID) + ".text");
}