svoid saveTextFileWithBackupVerbose(File f, S text) {
  backupTextFile(f, text);
  saveTextFileVerbose(f, text);
}