El topónimo Arlegi

Uno de los pueblos de Navarra se llama Arlegi. Mikel Belasko en su libro Diccionario etimológico de los nombres de los pueblos, villas y ciudades de Navarra. Apellidos navarros trató también sobre este topónimo, dando testimonios antiguos y también una etimología. Posteriormente, puso en su blog el mismo texto, en la entrada del mismo título, Arlegui:

Significado. Dudoso.
Comentario lingüístico. Si bien Luis Michelena, a la vista de la documentación antigua, piensa que la voz vasca erle `abeja', forma parte del nombre de la localidad no se puede descartar que nos encontremos ante ar- [variante de (h)arri "piedra" en composición] y -(l)egi, sufijo que indica lugar. En este sentido compárese con topónimos como Beorlegi, Laturlegi, Irulegi donde -legi parece variante del sufijo local -egi tras -r.
Traducciones curiosas y explicaciones populares. Traducción de este género es: 'helechal', "lugar de la fosa".
Documentación antigua. Arlagui, Arlegui, Arllegui, Erelegui, Herleghi (s. XII-XIV, NEN).
(Mikel Belasko; 1999: pp. 92).

La clave para la explicación de Arlegi puede estar en un fenómeno fonético, la disimilación, más exactamente, la de vibrantes: rr > rl, como en los topónimos Agirleta y Agurlaeta . Por lo tanto, *Arregi > Arlegi. Si así ocurrió, los elementos del topónimo serían, har- forma en derivación de harri 'piedra, roca' y hegi 'ladera, cuesta' sin ningún otro cambio necesario.