Initial gh-pages commit

.gitignore

@@ -0,0 +1,19 @@
+# This .gitignore is the same as that of the main branch
+# This is to make it more convenient to `git switch` or `jj new`
+# between the main branch and the `gh-pages` branch.
+
+/target/
+# mdbook output
+/rendered-docs
+.direnv
+.envrc
+# generated by nix build, nix-build
+result
+# generated by the insta crate
+*.pending-snap
+
+# Editor specific ignores
+.idea
+
+# Generated by setting `JJ_TRACE` environment variable.
+jj-trace-*.json