Re: [GHC] #12582: HSOC Eventlog live profiling