static File appendToFileNameBeforeExtension(File f) {
  S ext = fileExtension(f);
  S name = dropSuffixIC(ext, f.getName());
  name += "." + simpleDateFormat_local("yyyyMMdd-HHmm").format(now()));
  ret newFile(parentFile(f), name + ext);
}