Re: [GHC] #12848: Reduce long-term memory usage of GHCi