Look into integrating pagefind into Sphinx docs

[dangunter]

Might make it easier to find things when our organization is, as hard is this is to imagine, imperfect.

https://blog.gandi.net/en/posts/sphinx-doc-and-pagefind/
https://pagefind.app/