The new search thing on php.net

Hello, I've noticed you've been integrating Google for searches instead of the internal PHP stuff... However I'm not sure if this is a good thing. Doing a search in the function list for 'extract' tries to go to http://www.google.com/search?q=manual%2Fen%2Ffunction.extract.php+site:w ww.php.net&l=en - which returns nothing. Very frustrating! In this instance, Google should not have been searched, as it already knows that extract is an exact match. I've also noticed that it tries to fill in the search box with stuff you've typed in before, and this is truly nasty as it only populates once the page has finished loading - by which time I've usually started to type something *else* in there. It hijacks what I've been typing and replaces it! Or I end up with some unholy marriage of the two terms... I think this Javascript feature frustrates me more than anything else, because it's highly unlikely that I'll be searching for the same term when I next return to the PHP docs for reference... I'm sorry that my email has to be about problems encountered, though rest assured that I do indeed appreciate all the hard work you guys put into the website. Good luck with your future projects! Regards, Mike