static S shortSystemName() {
  S name = system();
  ret eq(name, "Eleutheria") ? "Eleu" : name;
}