docs: public static String whitespace(int n) {
      if(n < WHITESPACE_BUFFER_LENGTH) {
        return WHITESPACE_BUFFER.substring(0, n);
      }
      char[] buf = new char[n];
      Arrays.fill(buf, WHITESPACE_BUFFER.charAt(0));
      return new String(buf);
    }