סידור רש"י רס״וSiddur Rashi 266

א׳נשאל מאת רבינו יצחק על קורות ורהיטין, והתיר היתר גמור, שכך נהגו העם, ואין לשנות המנהג, ואם יעלה על לב האדם לומר עדיין מן תעשה ולא מן העשוי, דיי לנו באותו תעשה שנוטל הנסרים מן הלטש. וגם סגן לוי נשאל, והשיב כמו כן, אלא שצריך לסלק הנסרים כנגד כל הסיכוך, והעיד אחד לפני גור אריה על הרב ר' אלעזר הגדול זצ"ל שהיה עושה סוכתו בתוך הבית, ולא היה מסלק הלטש, והיה בעיניו הדבר קשה מאד, [על שנעשית בתוך הבית והיה מיצר מאד] והיתה חצירו בינו ובין שכינו, וקנאה כפלים בדמיה, ושאלו את גור אריה מפני מה היה מיצר, אמר להם מפני שהיה רוצה לקיים מצוה מן המובחר:
1