RE: [commit: ghc] master: Comment out a leftover pprTrace (a5b7ee5)