I endorse the tool, and I do not agree that it needs a review. Since when are we reviewing tools? These are not specifically for end-users the same way that libraries are. This tool is for supporting the libraries. As long as the tool works and is useful to some of the libraries I don't see why the review is necessary.
Since the preponderance of those who participate in reviews are library devs I think it is important to review. We all complain about bad tools, and good tools are beneficial to many. In all likelihood Dimitry didn't think of/document everything in his design so the review can be mutually beneficial.
Or to put it differently, what is the benefit of a REJECT outcome from a formal review of pretty_printers?
The same thing that happens to a library with a REJECT outcome Matt