Re: [GHC] #8772: ghci should save history more often (was: ghci should safe history more often)