Document existence of pretty-printing