Added a comment about post-prettyprint.pl