Re: [GHC] #5443: Errors when shutting down the event manager loop