Hi guys,

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.

~James