PHP.net - Opera-search integration?

Dear PHP.net webmaster. First of al congratulations with the great site. It works real pretty. I can imagine only one thing to make it the best ever and I'd like to share my thought with you. As many other site-developers I use the Opera HTTP browser. Because of the many advantages that makes it easy to use and fast in many things. But I could imagine this thing that would make it just so perfect. In the Opera search-box a php-function-list search integration. I know Opera isn't open source and PHP is and that could be frustrating for you to coorperate. But it's simply the fastest grapical browser supporting W3C standards and it is freeware (ad-ware whatever =] ). Think about it. I'll keep loving PHP anyway. Yours sincerely, Joep Bos (The Netherlands).