docs: private void writeHeader(String header, PrintWriter writer) {
          writer.println();
          writer.println(header);
          for (int i = header.length(); i > 0; i--) {
              writer.print("-");
          }
          writer.println();
      }