Move to better local-search based on Pagefind

I couldn't get related pages with the current search bar of docs.mistral.ai, even for simple queries.

The problem is the underlying local search index called Lunr. I agree that local search can be enough for the current size of docs, but Lunr hasn't been updated for the last 4 years and there's a better alternative called Pagefind.

After the switch from Lunr to Pagefind, I found the search results got way better.

To try locally:

npx pnpm@8 i && npx docusaurus build && npx docusaurus serve

All source code related to search index and UI is MIT licensed. For UI customization, there's documentation too.

mistralai / platform-docs-public

Move to better local-search based on Pagefind #116