<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><br></div><div> Can we rig the search icon in <a href="http://petsc.org">petsc.org</a> to also search the PETSc archives? This way we can recommend users search in <a href="http://petsc.org">petsc.org</a> instead of using the google and getting outdated information.</div><div><br></div><div><br></div></body></html>