diff --git a/docs/tools b/docs/tools
index b3f7eae..0e3c125 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit b3f7eae1f7c1fb9e9eb54288d4a8471842f99f71
+Subproject commit 0e3c125c8819d042b3321bbe8cbba7ef938b82ad