deactivating missing page, small change

Author: mattulbrich

docs/workbench/Proof Scripts/original.md

@@ -3,6 +3,7 @@
 *Mattias Ulbrich <ulbrich@kit.edu>, 2015*
 
 !!! note
+    This is the original announcement and probably a bit outdated.
     Experimental feature: Proof scripts are currently only visible in the GUI if KeY
     is launched with the `--experimental` option. Concrete syntax is subject to
     change.

mkdocs.yml

@@ -107,7 +107,7 @@ nav:
           - user/ProofCaching/index.md
           - user/ProofTreeLinearMode.md
       - Languages:
-          - user/HowToTaclet.md
+          # - user/HowToTaclet.md # seemed to have been moved to devel below
           - user/JMLGrammar.md
           - user/KeyGrammar.md
       - Proof Scripts: