[Doc-SIG] Docs search improved

[Georg Brandl]

The docs search now searches for objects whose name contains the search word
before doing full-text search. Please let me know if it works as expected.

Georg

-- 
Thus spake the Lord: Thou shalt indent with four spaces. No more, no less.
Four shall be the number of spaces thou shalt indent, and the number of thy
indenting shall be four. Eight shalt thou not indent, nor either indent thou
two, excepting that thou then proceed to four. Tabs are right out.