update docs submodule to latest

jmrohwer · jmrohwer · commit 13f0e049bdbf · 2023-06-28T23:17:58.000+02:00
diff --git a/docs b/docs
@@ -1 +1 @@
-Subproject commit d19eac872d8432bb31baf8a18bd13d5a02ee47b6
+Subproject commit adf9188b60902e3dd58892ab6a5c70b471034d17
