Releasing and Docs Deploy

Releases are automated with release-please.

Docs deploy is handled by GitHub Actions Pages workflow building docs-site and publishing docs-site/build.