static File makeFileNameUnique_beforeExtension_startWith1_noDot(File f) {
  File orig = f;
  int n = 1;
  do {
    f = appendToFileBaseName(orig, str(n++));
  } while (f.exists());
  ret f;
}