Re: [GHC] #1009: GHC Performance Index