update docs submodule to latest

jmrohwer · jmrohwer · commit f491da16718d · 2023-06-29T14:00:37.000+02:00
diff --git a/docs b/docs
@@ -1 +1 @@
-Subproject commit adf9188b60902e3dd58892ab6a5c70b471034d17
+Subproject commit 9cf5ce7298019e3994c4fa84578e920bf64d3956
