The general understanding of pretty-printing is that it should
confine itself to adding and removing layout characters (space, tab,
line break) and colouring.

Tools that show macro expansion, or add extra parentheses "for clarity",
and so on can be very useful, but they are _different_ tools.