Inconsistent parameter ordering in `List.Vector.insertIdx` and `List.insertIdx`

[ShreckYe]

For List in Lean:

def insertIdx (xs : List α) (i : Nat) (a : α) : List α

For List.Vector in Mathlib:

def insertIdx (a : α) (i : Fin (n + 1)) (v : Vector α n) : Vector α (n + 1)

The orders of the index parameter i, the value parameter a, and the list/vector parameter xs and v are inconsistent. Should this be fixed?

From #29400 (comment).