Re: [GHC] #15887: Ideas for a better GHCi editing experience