change notes 2023-05-26May 26, 2023 Fixed a bug in understanding change in web search that caused some of the text to overflow the page: an extra </section>.