Re: [GHC] #8083: setNumCapabilities broken in HEAD