Very excited about this release, the website is so much better and easier to read. Congrats! (Disclaimer I work at Algolia in the Crawler team) Not to hijack t

Very excited about this release, the website is so much better and easier to read. Congrats! (Disclaimer I work at Algolia in the Crawler team) Not to hijack this thread, but the search is now powered by Algolia custom crawler (still Docsearch but used to be a custom scrappy implem), it should match previous high level of expectation, but we'll appreciate any feedback on the relevancy.