Move to better local-search based on Pagefind#116

yujonglee wants to merge 3 commits intomistralai:mainmistralai/platform-docs-public:mainfrom

yujonglee:pagefindyujonglee/platform-docs-public:pagefindCopy head branch name to clipboard