svoid saveTextFile_infoBox(File f, S text) {
  saveTextFileWithInfoBox(f, text);
}