Re: [GHC] #9690: in GHCi map `:editNNN` to $EDITOR +NNN