Merge branch 'main' into title-page-updates-2024

Author: trevorcampbell

.github/workflows/deploy_pr_preview.yml

@@ -67,6 +67,7 @@ jobs:
           rustup update
           pip install --upgrade pip
           pip install website_diff
+          rm -rf diff${{ github.event.number }}
           website_diff --old dev --new pull${{ github.event.number }} --diff diff${{ github.event.number }}
 
       - name: GitHub Pages action to push diff