diff --git a/docs/tools b/docs/tools
index 854efb0..f52cd8d 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 854efb0730adbc18f89720076c3ac3c77c59ecb7
+Subproject commit f52cd8d758ec67c9c1d8abc88f51d5eb01ad2778