Re: [GHC] #15086: hT profiling option