New search function

Google shut down the search function that our site had been doing for years, to prevent spammers from using it. We have replaced it with a different function, which works. This is not yet in place on all pages — patience, please!