Sabino Aranak eta Koldo Elizaldek argitaratuko Santu Izendegia-n gaztelaniazko Miguel-en baliokide femeninotzat ematen da, eta azken urteotan horrelaxe erabili da, baina XVII. mende arte gutxienez gizon izena zen. Lehen aldiz XIII. mendean aurkitu dugu, Iruñerrian (Miquele Iturriquo).