diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 8ae3ddf0..05308aaa 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -55,13 +55,13 @@ jobs:
         run: |
           ./build_all.sh
 
-      - name: Compile blueprint and documentation
-        uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
-        with:
-          homepage: home_page
-          blueprint: true
-          build-page: false
-          deploy: false
+      # - name: Compile blueprint and documentation
+      #   uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
+      #   with:
+      #     homepage: home_page
+      #     blueprint: true
+      #     build-page: false
+      #     deploy: false
 
       - name: "Upload website (API documentation, blueprint and any home page)"
         if: github.event_name == 'push'
diff --git a/home_page/index.html b/home_page/index.html
new file mode 100644
index 00000000..ca14618e
--- /dev/null
+++ b/home_page/index.html
@@ -0,0 +1,12 @@
+<!DOCTYPE html>
+<html>
+<head>
+    <meta charset="utf8">
+    <meta http-equiv="refresh" content="0; url=https://leanmachinelearning.github.io/">
+    <link rel="canonical" href="https://leanmachinelearning.github.io/">
+    <title>This page has moved</title>
+</head>
+<body>
+    <p>This page has moved and the project was renamed to Lean Machine Learning. Redirecting you to <a href="https://leanmachinelearning.github.io/">https://leanmachinelearning.github.io/</a>&hellip;</p>
+</body>
+</html>