static File addDateWithMinutesToFileName(File f) {
  ret appendToFileNameBeforeExtension(f, "." + simpleDateFormat_local("yyyyMMdd-HHmm").format(now()));
}