This repository was archived by the owner on Jul 23, 2025. It is now read-only.
This repository was archived by the owner on Jul 23, 2025. It is now read-only.
[Task] Add search to docs site #92
Description
Add Algolia DocSearch
Low priority, but will become more useful as the content continues to grow in size.