Re: [GHC] #13437: Easier editing of multi-line GHCi-commands