diff --git a/docs/tools b/docs/tools
index 5d3e438..854efb0 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 5d3e4383690b1823e172ef9dcbb7000de488b247
+Subproject commit 854efb0730adbc18f89720076c3ac3c77c59ecb7