svoid appendToTextFile(File file, S contents) {
  appendToFile(file, s);
}

svoid appendToTextFile(S file, S contents) {
  appendToTextFile(programFile(file), contents);
}