[website] add search engine #75

Open

opened

on Jan 16, 2025

See https://docusaurus.io/docs/search#using-algolia-docsearch

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests