We should have a portable, reproducible, GitHub-independent build of the documentation website. My proposal is to use Nix/Nixpkgs to do this, but if you have other ideas please comment.