לא הבנתי את כוונת הרב בכותבו "מצינו בראשונים ר' יהודה די ליאון או ר' יצחק די ליאון (ליאון = אריה)". הרי אין זה שם פרטי אלא שם משפחה ופירושו מן (די) העיר ליאון, והיא עיר בספרד (León)! לקרוא לילד ליאון כי היו כמה רבנים ששם מקור מוצאם (או מוצא אבותיהם) הוא כאילו לקרוא לילד בבל (או בגדאד) על שם הגאון רבינו יוסף חיים מבבל, או ג'רבא כי היו שם כמה רבנים גדולים!