Months ahead of schedule, I’ve found a way to add a search function to this site. Thank you, Pagefind.app!
