diff --git a/docs/tools b/docs/tools
index 81dd0f1..94af39f 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 81dd0f18a835f96f612acc64235c2d8027d00c74
+Subproject commit 94af39fae5d681a0eb0d695a94a4f1a19dc408ea