No I think that's a different product. What I had in mind is what is on, for example, https://tailwindcss.com/ and many other open source project websites. If you open the search menu, you'll see at the bottom that it's powered by Algolia docsearch.

Basically its a service that automatically crawls your docs and creates a search index and widget that you can include on your website.