static File replaceExtension(File f, S extOld, S extNew) {
  S s = f2s(f);
  s = dropSuffixIC(addPrefixIfNempty(".", extOld), s);
  ret new File(s + addPrefixIfNempty(".", ext));
}