svoid gazelleBEA_uploadInput(S text) {
  print("Uploading input to Gazelle: " + quote(text));
  postPage("https://bea.gazelle.rocks/saveInput", +text);
  sleepSeconds(1);
}