improve docs header, nav and social cards

.github/workflows/docs-publish.yml

@@ -51,8 +51,7 @@ jobs:
             mkdocs-material-
       - run: sudo apt-get install pngquant
       - run: pip install mike
-      - run: pip install mkdocs-material
-      - run: pip install "mkdocs-material[imaging]"
+      - run: pip install mkdocs-material mkdocs-redirects "mkdocs-material[imaging]"
       - name: Test Docs Build
         run: MKINSIDERS=false mkdocs build
   deploy:
@@ -78,7 +77,7 @@ jobs:
       - run: sudo apt-get install pngquant
       - run: pip install mike==2.0.0
       - run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git
-      - run: pip install "mkdocs-material[imaging]"
+      - run: pip install mkdocs-redirects "mkdocs-material[imaging]"
       - name: Set Git config
         run: |
           git config --global user.name "GitHub Action"