Add new pretty-printer, which can pretty-print things that have come in from a file
and simply wrangle their indentation to be OK.