On 01/06/2016 12:32 AM, Paul Eggert wrote:
> I installed the attached patch, which fixed this performance bug for me. 

Whoops! I forgot to 'git add src/search.h' before committing. We also 
need the attached followup patch, which I installed.