diff --git a/docs/.pages b/docs/.pages
deleted file mode 100644
index e69de29..0000000
diff --git a/docs/tools b/docs/tools
index d1af96a..2820ea9 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit d1af96a832b22f4c61226442a1775fa54799af13
+Subproject commit 2820ea93feb4c6f4d2f82f94b68b0cc2d14c1f9e