Look into integrating pagefind into Sphinx docs

[dangunter]

trafficstars

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/