static Pair<File, Bool> ai_makeExamplesFile(S text) {
  File f = javaxDataDir("Examples/" + uniqueFileNameUsingMD5_80_v2(text) + ".text");
  if (f.exists()) ret pair(f, false);
  saveTextFile(f, text);
  ret pair(f, true);
}