Re: [GHC] #14486: Something is fishy in RTS's "max pause" GC statistic