Re: [GHC] #15880: GHC.Stats: Add info on amount of pinned memory