diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index d96922b..b27978b 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -434,8 +434,6 @@ jobs:
         run: npx -y markdownlint-cli2 "book/src/**/*.md"
       - name: Build book
         run: mdbook build book
-      - name: Check links
-        run: mdbook-linkcheck book
       - name: Upload book artifact for Pages
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'
         uses: actions/upload-pages-artifact@v3
diff --git a/book/book.toml b/book/book.toml
index 6a4c4b8..5bcbd38 100644
--- a/book/book.toml
+++ b/book/book.toml
@@ -8,6 +8,9 @@ title    = "Nomos Testing Book"
 # Keep book output in target/ to avoid polluting the workspace root.
 build-dir = "../target/book"
 
+[preprocessor.linkcheck]
+command = "mdbook-linkcheck"
+
 [output.html]
 additional-js = ["theme/mermaid-init.js"]
 default-theme = "light"
diff --git a/typos.toml b/typos.toml
new file mode 100644
index 0000000..e5ba8b1
--- /dev/null
+++ b/typos.toml
@@ -0,0 +1,2 @@
+[default.extend-words]
+Groth = "Groth"