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