static void saveProgramTextFile(S name, S contents) {
  saveTextFile(getProgramFile(name), contents);
}

static void saveProgramTextFile(S progID, S name, S contents) {
  saveTextFile(getProgramFile(progID, name), contents);
}