diff --git a/docs/tools b/docs/tools
index 2820ea9..cf2fa86 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 2820ea93feb4c6f4d2f82f94b68b0cc2d14c1f9e
+Subproject commit cf2fa864f25c2333084be08baccb19dfedf6fe7d