docs: public static void formatForConsole(StringBuilder buf, int width, Collection<TrackedParameter> options) {
      for(TrackedParameter pair : options) {
        Parameter<?> par = pair.getParameter();
        println(buf//
            .append(SerializedParameterization.OPTION_PREFIX).append(par.getOptionID().getName()) //
            .append(' ').append(par.getSyntax()).append(FormatUtil.NEWLINE), //
            width, getFullDescription(par));
      }
    }