Service provided by Silicon Graphics Inc. for searching online books, man pages, and release notes.