Merge branch '4.3' into 4.4

* 4.3:
  Replace deprecated configuration key

Author: OskarStark

workflow.rst

@@ -185,7 +185,7 @@ As configured, the following property is used by the marking store::
 .. tip::
 
     The ``marking_store.type`` (the default value depends on the ``type`` value)
-    and ``arguments`` (default value ``['marking']``) attributes of the
+    and ``property`` (default value ``['marking']``) attributes of the
     ``marking_store`` option are optional. If omitted, their default values will
     be used. It's highly recommenced to use the default value.