Where does “san Miguelito” come from?

san Miguelito (Spanish) comes from Spanish Miguel, from Latin Michāēl, from Latin Michahel, from Greek Μιχαήλ, from Ancient Greek Μιχαήλ, from Hebrew מיכאל, from Hebrew אֵל, from Hebrew שמואל.

san Miguelito (Spanish): A person devoted archangel Michael, especially...