code: private Pair<String, String> displayNames(String s1, String s2) {
          s1 = ((s1 == null) || (s1.length() == 0)) ? null : "-" + s1;
          s2 = ((s2 == null) || (s2.length() == 0)) ? null : "--" + s2;
  
          if (s1 == null) return Pair.of(s2, null);
          if (s2 == null) return Pair.of(s1, null);
  
          return Pair.of(s2, s1);
      }
docs: Returns a Pair of (main, synonym) names for argument with fullName s1 and
  shortName s2.
  
  Previously we had it so the main name was selected to be the longest of the two, provided
  it didn't exceed MAX_DISPLAY_NAME, in which case the shorter was taken. But we now disable
  the length-based name rearrangement in order to maintain consistency in the Docs table.
  
  This may cause messed up spacing in the CLI-help display but we don't care as much about that
  since more users use the online Docs for looking up arguments.
  
  @param s1 the short argument name without -, or null if not provided
  @param s2 the long argument name without --, or null if not provided
  @return A pair of fully qualified names (with - or --) for the argument.  The first
  element is the primary display name while the second (potentially null) is a
  synonymous name.