In #10 we started to explore using search in the site. We discovered that we really want a purely static index hosted as part of the site, and using JS in the browser to do the search. A common way to do this on the web is with https://lunrjs.com/.
Luckily there are multiple lunr-based search plugins we can try.
Let's start with https://github.com/lelouch77/docusaurus-lunr-search and see if it does what we want.
@ycechungAI is going to work on this. NOTE: I can't assign this to you until you comment in here.
In #10 we started to explore using search in the site. We discovered that we really want a purely static index hosted as part of the site, and using JS in the browser to do the search. A common way to do this on the web is with https://lunrjs.com/.
Luckily there are multiple lunr-based search plugins we can try.
Let's start with https://github.com/lelouch77/docusaurus-lunr-search and see if it does what we want.
@ycechungAI is going to work on this. NOTE: I can't assign this to you until you comment in here.