Search

Doctopus generates a search index and provides a search widget to let users search the documentation. This is the only feature that requires client-side JavaScript. This just uses Pagefind in the background.

Pagefind already does what I would have built myself and it does a really good job at it.