diff --git a/docs/tools b/docs/tools
index f52cd8d..5c806d3 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit f52cd8d758ec67c9c1d8abc88f51d5eb01ad2778
+Subproject commit 5c806d36311589acabbfc6fea52eb78a9d43d423