Re: [Python-ideas] Order in the documentation search results