svoid tabsTo4Spaces_inPlace(File f) {
  S text = loadTextFile(f);
  if (containsTabs(text))
    saveTextFileVerbose(f, tabsTo4Spaces(text));
}