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

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

JacobCoffee merged 2 commits into

python:mainpython/pythondotorg:mainfrom

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