code: private String optionListToHtml(
        List<Options.OptionInfo> optList, int padding, int firstLinePadding, int refillWidth) {
      StringJoiner b = new StringJoiner(lineSep);
      for (Options.OptionInfo oi : optList) {
        if (oi.unpublicized) {
          continue;
        }
        StringBuilder bb = new StringBuilder();
        String optHtml = optionToHtml(oi, padding);
        bb.append(StringUtils.repeat(" ", padding));
        bb.append("<li id=\"option:" + oi.longName + "\">").append(optHtml);
        // .append("</li>");
        if (refillWidth <= 0) {
          b.add(bb);
        } else {
          b.add(refill(bb.toString(), padding, firstLinePadding, refillWidth));
        }
      }
      return b.toString();
    }
docs: Get the HTML describing many options, formatted as an HTML list.
  
  @param optList the options to document
  @param padding the number of leading spaces to add before each line of HTML output, except the
  first one
  @param firstLinePadding the number of leading spaces to add before the first line of HTML
  output
  @param refillWidth the number of columns to fit the text into, by breaking lines
  @return the options documented in HTML format