FWIW: the search boxes, at least on the extensions page and the forums pages, are not working today. After getting no hits for what I was searching for originally, I tried 3 browsers using simple searches like ‘user’ and ‘menu’ all return no hits like:
On august 24 it would not work at all but once it came back later that day I noticed the same thing as you Tommy: initial search returned zero hits, then search again for same thing gave hits. Thought maybe it was my browser but tried 3 others all with same results. Been doing the nots first time most days since then and yet today right now its working just fine.
For instance if I search for wordpress in the wiki search box it gives no hits yet I can see an article in the second page of the how tos with wordpress in the title:
Integrating Wordpress and Yii: yet another approach.
Sadly repeating the search in this case does not fix things.