diff --git a/src/haz3lweb/Init.ml b/src/haz3lweb/Init.ml
index da769b501..ef5bbb2f7 100644
--- a/src/haz3lweb/Init.ml
+++ b/src/haz3lweb/Init.ml
@@ -27,9 +27,10 @@ let startup : PersistentData.t =
         context_inspector = false;
         instructor_mode = true;
         benchmark = false;
-        mode = Tutorial;
+        (* mode = Tutorial; *)
         explainThis =
           { show = true; show_feedback = false; highlight = NoHighlight };
+        mode = Documentation;
       };
     scratch =
       ( 0,