Re: [GHC] #12424: RTS stats show wrong productivity.