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