Docstring to static website

[danwallach]

New feature from GitHub Actions:
https://github.blog/changelog/2022-07-27-github-pages-custom-github-actions-workflows-beta/

Hypothetically, we could set this up where every commit updates a static GitHub Pages site.

Higher degree of difficulty: only do this if the unit tests pass. (And, presumably, only on the main branch.)