[petsc-dev] Rig the search icon in petsc.org to also search the PETSc users archives (and other stuff?)

[Barry Smith]

  Can we rig the search icon in petsc.org <http://petsc.org/> to also search 
the PETSc archives? This way we can recommend users search in petsc.org 
<http://petsc.org/> instead of using the google and getting outdated 
information.