Migrate fully to GitHub Actions for Pages deployment

Legacy deploy environments (including simply having something in
gh-pages!) is deprecated too.

GitHub really wants us to use their deploy-pages system for this, so
switch to it.

.github/workflows/publish.yml

@@ -6,15 +6,18 @@ on:
   workflow_dispatch:
 
 jobs:
-  doc-deploy:
+  build:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           persist-credentials: false
           submodules: recursive
 
+      - name: Configure GitHub Pages
+        uses: actions/configure-pages@v3
+
       - uses: ruby/setup-ruby@v1
         with:
           ruby-version: '3.2'
@@ -24,16 +27,23 @@ jobs:
         # Build the site using Jekyll
         run: JEKYLL_ENV=production bundle exec jekyll build
 
-        # Copy (or touch) other needed files
+      - name: Upload GitHub Pages artifact
-        # .nojekyll: to tell GH Pages to not rebuild (lol)
+        uses: actions/upload-pages-artifact@v3
-        # CNAME: to tell GH Pages about the domain name
-      - name: Post-Jekyll build copy files
-        run: |
-          touch _site/.nojekyll
 
-      - name: Deploy 🚀
+  # Deployment job
-        uses: JamesIves/github-pages-deploy-action@v4.4.1
+  deploy:
-        with:
+    # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-          branch: gh-pages # The branch the action should deploy to.
+    permissions:
-          folder: _site # The folder the action should deploy.
+      contents: read
-          clean: true # Automatically remove deleted files from the deploy branch
+      pages: write
+      id-token: write
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4