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