Re: [GHC] #9829: Installed signal handlers are not cleared up by GHC API