Update porting guide + cleanups (#1898)

* Update porting guide + cleanups

* Documentation/README.md: update autogenerated file

.github/workflows/docs.yml

@@ -1,22 +1,19 @@
-
 name: Docs
 
 # Controls when the workflow will run
 on:
   # Triggers the workflow on push or pull request
   push:
-    branches: [ dev, docs ]
+    branches: [dev, docs]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
-
 # Allow one concurrent deployment
 concurrency:
   group: "pages"
   cancel-in-progress: true
 
-
 jobs:
   deploy-docs:
     # The type of runner that the job will run on
@@ -28,12 +25,12 @@ jobs:
           fetch-depth: 0
       - uses: actions/setup-python@v5
 
-
       - run: |
           pip install --upgrade pip &&
           pip install mkdocs mkdocs-gen-files pymdown-extensions \
               mkdocs-git-revision-date-plugin mkdocs-autolinks-plugin \
-              mkdocs-awesome-pages-plugin 
+              mkdocs-awesome-pages-plugin
+
       - run: git config user.name 'github-actions[bot]' && git config user.email 'github-actions[bot]@users.noreply.github.com'
 
       - name: Publish docs