Re: [GHC] #1377: GHCi debugger tasks