docs: private static String formatName( String name )
      {
          if ( name.length() < NAME_COL_WIDTH )
          {
              return name;
          }
          return name.substring( 0, NAME_COL_WIDTH - 1 ) + ">";
      }