Busca no Site
PicoSearch procura para você dentro do site mas, como os documentos são extensos e determinadas palavras podem ser encontradas em muitos documentos, sugiro que, após entrar no documento, localize a palavra no menu do navegador (editar/localizar).