Re: [GHC] #9285: IO manager startup procedure somewhat odd