Googling TSTHETA leads to an ancient MCS page for the manual page not to petsc.org

  Searching for TSTHETA at petsc.org does not find the manual page; it looks like the search is not rigged to search the manual pages?

  Barry