docs: public void printOptions(PrintWriter pw, int width, Options options, 
                               int leftPad, int descPad)
      {
          StringBuffer sb = new StringBuffer();
  
          renderOptions(sb, width, options, leftPad, descPad);
          pw.println(sb.toString());
      }