Re: [GHC] #9011: panic - interactiveUI:setBuffering2