code: void formatDayOfWeekInMonth(StringBuilder b, ZonedDateTime d, int width) {
      int day = ((d.getDayOfMonth() - 1) / 7) + 1;
      b.append(day);
    }
docs: Numeric day of week in month, as in "2nd Wednesday in July".