Re: [GHC] #3984: Handle multiline input in GHCi history