docs: public static String usage(Collection<TrackedParameter> options) {
      StringBuilder usage = new StringBuilder(10000);
      if(!REFERENCE_VERSION.equals(VERSION)) {
        usage.append("ELKI build: ").append(VERSION).append(NEWLINE).append(NEWLINE);
      }
      usage.append(REFERENCE);
  
      // Collect options
      OptionUtil.formatForConsole(usage.append(NEWLINE).append("Parameters:").append(NEWLINE), //
          FormatUtil.getConsoleWidth(), options);
      return usage.toString();
    }