Sometimes search was showing non-optimal results. This happened because earlier requests would respond slower. You can reproduce that by quickly typing 'git push' multiple times into the searchbox. I was able to get 'git push', 'git citool' and 'git-request-pull' as my top result depending on response times for different requests. This solution doesn't completely fix this problem, but helps alleviate it quite a bit while also reducing the number of requests to the server. Since Search.searching was already declared, you might've been aware of the problem and might have some other ideas how you'd like to solve it.
This reverts commit 27a557c.