We have a Nix derivation to build the docs. Pushing to master (or maybe a release branch) should upload to GitHub pages.

A prerequisite for this is getting all the examples to compile again.