docs: private static PrintStream openStream(File out) throws IOException {
      OutputStream os = new FileOutputStream(out);
      os = out.getName().endsWith(GZIP_POSTFIX) ? new GZIPOutputStream(os) : os;
      return new PrintStream(os);
    }