El antropónimo Mitxelki

 Este antropónimo aparece en los documentos antiguos de Hondarribia, en el libro Colección Documental del Archivo Municipal de Hondarribia. Tomo IV (1499-1537), doc. 20, del año 1499:

... 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...

Hay otro testimonio en el doc. 26, del año 1499:

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...

Los dos, Domingo de Michelqui y Juaneto de Michelqui, eran vecinos de Irun y es posible que el nombre Mitxelki, fuera el del padre de los dos mencionados, quizás el mismo hombre.
En el libro de P. Salaberri Izen ttipiak euskaraz, aparece ese nombre, en la p.139:

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

Salaberri presenta un testimonio, toponímico, que fue primero Michelqui y después Michelquirena, en el siglo XVIII. Siendo los testimonios de Hondarribia del siglo XV, serían los primeros, por lo menos, hasta que no aparezca alguno anterior.