Search no longer streaming in realtime #164
Description
Some recent change has left the search being very slow. It used to start returning results almost instantly. Now it waits for all results to be returned before showing any. This needs debugging (probably only the last 30 or so commits could be responsible) and fixing.