diff --git a/user-documentation b/user-documentation
index 87339ec7..612d73b5 160000
--- a/user-documentation
+++ b/user-documentation
@@ -1 +1 @@
-Subproject commit 87339ec7563215cf150247632117a9f808424054
+Subproject commit 612d73b5c6e4f7bc0cb4e65e00a635a205203c9e