Getting the text of this page.
Index of the Project Gutenberg Works of Washington Irving
Washington Irving and Widger, David, 1932-2021 [Editor]