@vjeux is using https://community.algolia.com/docsearch/ https://community.algolia.com/docsearch/ which is Algolia's community product that crawls technical doc

@vjeux is using https://community.algolia.com/docsearch/ https://community.algolia.com/docsearch/ which is Algolia's community product that crawls technical documentation :) If you have any other usecase than technical documentation, we recommend indexing your data through the API. Ben