!7

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

p {
  File file = getProgramFile("triples-1.gz");
  if (fileSize(file) == 0)
    loadBinaryPageToFile(url, file);
}