Re: [GHC] #11619: GHC.Stats documentation error