Re: [GHC] #15887: Ideas for a better GHCi editing experience (was: It would be very nice to have a better GHCi editing experience)