sS gazelle_savePublicText(S text) {
  saveTextFile(javaxDataDir("Gazelle Texts/" + md5(text)), text);
  ret "http://gazelle.botcompany.de/texts/" + md5(text);
}