Mitxelki antroponimoa

 Antroponimo hau Hondarribiko agiri zaharretan agertzen da, Colección Documental del Archivo Municipal de Hondarribia. Tomo IV (1499-1537) liburuko 20. agirian, 1499. urtean:

... Estebe de Artalecu y Chebo d’Arançate e Martie de Larreandi y Juanecho de Aguinaga e Juanicot, hijo de Nicolás de Arbelaiz, y Estebe Luçea y Domingo de Lascoayn y Juanot Luçea e Domingo de Michelqui e Martie de Larreandi y Chebo de Guillermo y Marticho de Leguia e Sabat de Astigar y Sabat, carniçero, y Martín de Larreandia, vezinos de Yrun Vrançu...

Beste lekuko bat, 26. agirian 1499. urtean:

Vista por mí una pesquisa fecha contra Martín de Moniorte y Martín de Aldabe, jurado, e Juan de Gabiria e Juanes d’Ibargoyen e Juanes d’Astigar e Martín rrementero e Miguel rrementero e Juanot, fijo de Nicolás de Arbelaiz, y Chebo de Guillermo e Martín de Iguiniz y Marticho de Leguia e Juanot Luçea e Juaneto de Michelqui, Sabat d’Astigar y Sabat carniçero y Martín de Larreandi y Quatroxe, Machico de Alcaya[ga], Juanes d’Oyanguren dicho “Moço”, Domingo de Goyçueta, Domingo de Lascoayn...

Biak, Domingo de Michelqui eta Juaneto de Michelqui, ziren Irungo auzokideak eta, beharbada, Mitxelki izena zuen aipatutako bi gizon horien aita, agian gizon bera.
P. Salaberriren Izen ttipiak euskaraz liburuan badago, 139. or.:

Mitxelki (Mitxel). Ardatz Itzagaondoko Michelquirena etxe izenaren oinarrian dago (1770, Au.p., 43, 26); agirietan oikonimo hau berau urte batzuk lehenago, 1726an, Michelqui da.

Salaberrik lekuko bat aukezten du, toponimoa zena, lehen Michelqui eta gero Michelquirena, XVIII. mendekoa. Hondarribiko izenak XV. mendekoak izanik, lehenengoak lirateke, zaharragorik aurkitzen ez bada, behintzat.