Wow. I was gonna say "Why not just right-click the search box on docs.python.org and add that?" But I tried your search and it's so much faster and more useful.