Move to better local-search based on Pagefind

[yujonglee]

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.

[socket-security]

New and removed dependencies detected. Learn more about Socket for GitHub ↗︎

Package	New capabilities	Transitives	Size	Publisher
npm/@getcanary/web@0.0.64	None	0	367 kB	yujonglee

View full report↗︎