> No problem! Thanks again for looking into the issue – I would be glad > if you could eventually implement a fix, but this is no longer urgent. > For the moment, I will add a sentence that the search field doesn't > work for locally installed documentation.
Thanks. I'll look into possible fixes soon. Nikhil