static File renameFileToSomeBackupName(File f) {
  File f2 = fileInSameDir(f, f.getName() + ".backup." + ymd_minus_hms());
  renameFile_assertTrue(f, f2);
  ret f2;
}