chiark / gitweb /
get search results faster (by redisplaying less often)