Minor docs fixes. Removed VersionBump workflow.

.github/workflows/pr_merge.yml

@@ -1,28 +0,0 @@
-name: VersionBump
-on:
-  push:
-    branches:
-      - master
-
-jobs:
-  VersionBumpJob:
-    runs-on: ubuntu-latest
-
-    permissions:
-      contents: write
-
-    steps:
-    - name: Checkout
-      uses: actions/checkout@v4
-      with:
-        ref: ${{ github.head_ref }}
-
-    - name: Bump Version
-      run: ./scripts/increment_version.sh
-
-    - name: Checkin
-      uses: stefanzweifel/git-auto-commit-action@v5
-      with:
-        commit_message: Version Bump
-        file_pattern: version.scad
-