Downgrade actions/deploy-pages to (maybe) fix deployment

Author: ad-si

.github/workflows/pages.yml

@@ -62,4 +62,4 @@ jobs:
       - name: Deploy to GitHub Pages
         if: runner.os == 'Linux'
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@v3