diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 9ec54279..0a68b55c 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -85,7 +85,7 @@ jobs:
           mv blueprint/web _site/blueprint
 
       - name: Upload doc & blueprint artifact
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           path: '_site'
 
diff --git a/docs/unseen_defs.txt b/docs/unseen_defs.txt
new file mode 100644
index 00000000..97ee1417
--- /dev/null
+++ b/docs/unseen_defs.txt
@@ -0,0 +1,8 @@
+CyclotomicIntegers.equiv_symm_apply
+Ideal.spanIntNorm_mul
+Monoid.EndAdditive_apply
+fermatLastTheoremFive
+isRegularPrime_three
+isRegularPrime_two
+relativeUnitsMapHom_apply
+relativeUnitsMap_mk