sS ai_triplesFileFromGithub_url = "https://github.com/stefan-reich/smartbot/releases/download/1/triples.gz";

static File ai_triplesFileFromGithub() {
  S programID = #1012438;
  File file = getProgramFile(programID, "triples-1.gz");
  if (fileSize(file) == 0) {
    print("Downloading triples (9 MB).");
    loadBinaryPageToFile(ai_triplesFileFromGithub_url, file);
  } else
    print("Triples already downloaded.");
  ret file;
}