Re: [GHC] #9890: RTS -qa option is helpful but under-documented