svoid saveTextFileWithBackup(File f, S text) {
  File size = fileSize(f);
  if (size != 0 && (size != lUtf8(text) || !eq(loadTextFile(f), text)))
    backupFile(f);
  saveTextFile(f, text);
}