[racket-dev] raco setup & documentation indexing change?

`raco docs' sets the browser cookie to point to a user-specific
documentation page, not `raco setup'.

At Fri, 28 Oct 2011 14:43:13 -0500, Robby Findler wrote:
> I believe it used to be the case that I could run "raco setup" and
> rely on the user-specific search html file being updated to whatever
> version of the documentation that the 'raco' came from. This does not
> seem to be the case anymore (I've noticed it for a few days, but I'm
> not sure when/if this changed).
> 
> Does anyone know about this? Was it intentional?