Broken info.js index search

On Sun, Oct 06, 2024 at 08:30:45PM +0100, Gavin Smith wrote:
> Disabling it, the sidebar is updated correctly.  Here's the full change,
> including your change, that appears to produce the correct behaviour:

...

> I'll probably commit this in a day or two to give a chance for more
> investigation and testing.


I've tried to test this with various use cases including index subentries
and it appears to work fine, and I've committed it.  However, it is
possible I missed something.