sS gazelle_fullName() {
  ret or2(trim(loadTextFile(javaxDataDir("gazelle-fullname.txt"))), "GAZELLE 2019");
}