add a link to docs.python.org on the search page#2718

JacobCoffee merged 2 commits intopython:mainpython/pythondotorg:mainfrom

nedbat:nedbat/also-search-docsnedbat/pythondotorg:nedbat/also-search-docsCopy head branch name to clipboard