Hi Ned, On Sun, Dec 30, 2012 at 7:11 PM, Ned Batchelder <ned@nedbatchelder.com> wrote:

While we're on the topic, why in this day and age do we have a custom search? Using google site search would be faster for the user, and more accurate.

--Ned.

In general I agree with you, but I find downloadable documentation very useful (one of the many reasons that I like sphinx). Keeping the search engine in that case is very convenient. Hernan