Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Sun Jan 12 14:16:21 2025 +0100
+++ b/Admin/Release/CHECKLIST	Sun Jan 12 14:19:06 2025 +0100
@@ -10,6 +10,8 @@
 
 - Admin/components/bundled: update naproche;
 
+- test "isabelle find_facts_index FOL && isabelle find_facts_server";
+
 - test "isabelle dump -b Pure ZF";
 
 - test "isabelle build -o export_theory -f ZF";