Mon Aug 4 16:46:36 PDT 1997 — We’ve added a site search tool to our web server. This allows you and the people who visit your page to search for data on our entire web site. We’ll be publishing information shortly on how you can incorporate the search tool in your own HTML and limit searches to your area of the server. We’ll be providing more tutorial information in the FAQ section shortly. See it in action at: