Re: [GHC] #8948: Profiling report resolution too low