chiark / gitweb /
When moving to a search result, only move if it's not visible already.