You can search for documents in this web by using Google's search engine. In addition to HTML contents, the search also covers many PDF files stored in this site.