chiark / gitweb /
Tidy up search form; remove cruft