sS localSnippetTitle(S snippetID) {
  if (!isLocalSnippetID(snippetID)) null;
  File f = localSnippetFile(snippetID);
  if (!f.exists()) null;
  ret or2(getFileInfoField(dropExtension(f), "Title"), "Unnamed");
}