There's no blueprint

Author: YaelDillies

.github/workflows/push.yml

@@ -67,5 +67,5 @@ jobs:
         id: build-docgen
         uses: leanprover-community/docgen-action@main
         with:
-          blueprint: true
+          blueprint: false
           homepage: "website"