change notes 2023-06-03

Various formatting repairs for the HTML rendering of chapters in /diss.
Removed malfunctioning JavaScript to just use an #end anchor in the footer to repair the scroll-to-bottom arrow in the nav-bar.
Introduced a search feature, with Lunr.js, initially building off CloudCannon’s tutorial and old git commit. I updated the code for the new version of Lunr.js and setup a pre-built index because the client side performance significantly deteriorated once I added my diss chapters.