Re: [commit: ghc] master: Update various performance benchmarks (194107e)