Documentation indexing and search improvements

[jogo (Jonas Götze)]

I also like the idea.
The Github search syntax page might be a good resource for inspiration too.