Hagadah shel Pesaḥve-hosafti ... ḥidushim ... be-shem Ḥemdat Yiśraʼel ʻal yede Yiśraʼel Daṿid ... Miller1891