Final step: Set up DocSearch

[tesseralis]

Congrats on almost completing the core pages! One of the final steps is to change the DocSearch API key.

One of the maintainers needs to sign up for DocSearch

[chloewlin]

I signed up and will set up DocSearch as soon as I hear back from them. Thanks, @tesseralis! :)