PythonDoc von herch

This extension adds a button that lets you search for a term directly in the python documentation site. You type the term, you press "Enter", and it opens a new tab with the results of the search.