Greg – thank you for prompting me to look at the search widget. It should be searching the whole site but I confirm I also get only blog posts (not super helpful if you’re looking for support!). I’ll look in to it.
I wanted to let you know I changed the search widget to use Google’s custom search, since it gives better results than WordPress’s native search. Also the custom search captures wiki results as well, which is increasingly important as the documentation there expands.