svoid saveTextFileWithBackup(File f, S text) {
  backupTextFile(f, text);
  saveTextFile(f, text);
}