Interesting! Perhaps the difference is then explained by my choice of search term. The term I tried after upgrading must happen to appear early in the sorted

Interesting! Perhaps the difference is then explained by my choice of search term. The term I tried after upgrading must happen to appear early in the sorted corpus. I just now tried it with a very rare term, and it does indeed take longer overall to complete the search.