test: with separate app

.github/workflows/verify_formatting.yaml

@@ -18,10 +18,17 @@ jobs:
     runs-on: ubuntu-latest
     steps:
 
+    - id: create_token
+      uses: tibdex/github-app-token@v2
+      with:
+        app_id: ${{ secrets.COG_APP_ID }}
+        private_key: ${{ secrets.COG_PRIVATE_KEY }}
+
     - name: Checkout
       uses: actions/checkout@v4
       with:
         ref: ${{ github.event.pull_request.head.ref }}
+        token: ${{ steps.create_token.outputs.token }}
 
     - name: Set up Node.js
       uses: actions/setup-node@v4

src/pages/hegel/guides/science-of-logic-introduction.mdx

@@ -469,8 +469,7 @@ at best be mere assurances. As with all pre-established forms of logic, at the
 start of presuppositionless thinking, science too must be emptied of any
 preconceived notions of what it is.
 
-However, there is an important caveat to this. While nothing definitive can be
-said about science, its conception is presupposed at the start of the _The
+However, there is an important caveat to this. While nothing definitive can be said about science, its conception is presupposed at the start of the _The
 Science of Logic_. This conception is the minimal grasp that the fact of the
 matter (_die Sache_) is equally the thought of it. This is largely a _negative_
 conception, inasmuch as it serves to annul the opposite conception that the fact