רבי יצחק בן שמואל הזקן (ר"י הזקן) · ציוני צדיקים