PHP Manual .chm index functionality not working as expected

Question

When I started working with PHP (like 10 years ago) the main thing that won me over, is the manual in .chm format. I used to keep the "Index" tab open, and type in there anything I needed and it'll direct me to a nice, concise but exhaustive reference page.

Now, today, I wanted to refresh my memory with some of the properties of isset(), so I typed it in the Index, but nothing relevant appeared. See for yourself in the screenshot below.

I had to find the page through the "Search" tab, which is less convenient.

I've noticed a similar issue before, but I ignored it. So, before posting a bug report or php.net, anyone knows what's happening here? Am I the only one with this problem, or is this another one of PHP's "improvements"?

Answer 1

This is a known bug. please vote on it, hopefully it'll get fixed. https://bugs.php.net/bug.php?id=64842