Make sure the documentation search version field honor the browsed version.

[Simon Charette]

It can get a bit confusing/frustrating to users browsing the documentation for a specific version (say 1.1) to keep switching the search version to the one they're browsing.

I've been bitten by this quite a few times when maintaining a 1.2.X app and I've helped some people on #django irc who we're a bit confused about that.

[anonymous]

Google seems to prefer the /dev version of the documentation. It should prefer the latest stable version.

Suggestion (using a cookie, e.g. "document_version"):

• Default to latest stable if no "document_version" cookie — This should keep the latest stable as Google's preferred version
• If visitor manually selects a different documentation version, set "document_version=X" cookie as a user's preference
• If visitor loads a page which is not the version they have manually set through the "document_version" cookie, redirect them to desired version using JavaScript

[Aymeric Augustin]

Fixed in 82d1ff051b51561806ed027b92619e64af50bebe.

The fix addresses the original problem ie. the search field. I haven't followed the anonymous suggestion.