Draft sent to rkh

diff --git a/docs b/docs
index dec46a48e727cbf3816a629389fcf7b61861d304..8efc7075f731594d6f703e4ff08526387d88c6ed 160000 (submodule)
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit dec46a48e727cbf3816a629389fcf7b61861d304
+Subproject commit 8efc7075f731594d6f703e4ff08526387d88c6ed