Re: [GHC] #8772: ghci should save history more often