New search function
Our Search function seemed increasingly inadequate so we revised it. For files in the website, the new Google search engine seems to work well. Searching the blog archives is not as obvious as we would like. We’ll let you know when we make improvements there.