chore: final cleanup and test

.github/workflows/verify_formatting.yaml

@@ -5,19 +5,13 @@ on:
   pull_request:
     branches: [main]
 
-# env:
-#   GH_TOKEN: ${{ github.token }}
-
 jobs:
   formatting:
-    # permissions:
-    #     contents: "write"
-    #     pull-requests: "write"
-
     runs-on: ubuntu-latest
     steps:
 
-    - id: create_token
+    - name: Generate COG token
+      id: create_token
       uses: tibdex/github-app-token@v2
       with:
         app_id: ${{ secrets.COG_APP_ID }}

.github/workflows/verify_mdx_content.yaml

@@ -4,22 +4,17 @@ on:
   workflow_dispatch:
   pull_request:
     branches: [main]
-    # types: [edited, opened, synchronize, reopened]
-
 
 jobs:
   verification:
-    permissions:
-      checks: write
-      issues: write
-      pull-requests: write
-
     runs-on: ubuntu-latest
     steps:
 
-    - uses: actions/checkout@v4
+    - name: Checkout
+      uses: actions/checkout@v4
 
-    - uses: actions/cache/restore@v4
+    - name: Revive Prepyrus
+      uses: actions/cache/restore@v4
       id: prepyrus-cache-restore
       with:
         path: target/release/prepyrus

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
@@ -489,7 +488,7 @@ writes:
 > this _is equally pure thought_. As _science_, truth is pure self-consciousness
 > as it develops itself and has the shape of the self, so that _that which
 > exists in and for itself is the conscious concept and the concept as such is
-> that which exists in and for itself_ (Hegel, 2010, 29/21.33).
+> that which exists in and for itself_ (Hegel 2010, 29/21.33).
 
 [^2]:
     [Introduction of _The Science of Logic_ in German at Zeno.org](http://www.zeno.org/Philosophie/M/Hegel,+Georg+Wilhelm+Friedrich/Wissenschaft+der+Logik/Erster+Teil.+Die+objektive+Logik/Einleitung/Allgemeiner+Begriff+der+Logik)