OK. The docs were recently updated. You will need to clear your browser cache and after that you should see search results correctly.

If you are using Google Chrome, clear the cache as follows:

There are three icons that appear to the right of the field where you enter URL or search term. The last icon is three vertical dots. Click that button. Then choose Delete Browsing Data. 

On the next screen, a list of options will appear to clear out. By default all three are seleted to be cleared. Just accept the defaults and click the blue Delete Data button.

After that you should see the search work as it should.