The search function index files have just been updated. This needs to be done every so often to make sure the search engine can find new content or content that may have been moved. This takes a bit of time to do as there are nearly 2000 pages to index – the reason we don’t do it that often.
So if you have been searching for something in the manual without finding what you were looking for, now is the time to try again.