[petsc-dev] goggle still not good at finding petsc.org docs

Googling TSTHETA leads to an ancient MCS page for the manual page not to petsc.org Searching for TSTHETA at petsc.org <http://petsc.org/> does not find the manual page; it looks like the search is not rigged to search the manual pages? Barry