sS firstSnippetIDFromPath(File f) {
  ret f == null ? null : regexpExtract("#\\d+", f.getPath());
}