Re: [GHC] #9809: Overwhelming the TimerManager