Going back to version 3 again

Author: mrbean-bremen

.github/workflows/builddocs.yml

@@ -49,4 +49,4 @@ jobs:
         path: 'Docs/_site'
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v4
+      uses: actions/deploy-pages@v3