docs: protected void printCenterWithLead(String lead, String format, Object ... args) {
          String text = S.fmt(format, args);
          int len = 80 - lead.length();
          info(S.concat(lead, S.center(text, len)));
      }