diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 0ff17f6a..0383c23e 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -6,3 +6,14 @@ Object:
 
 Type:
    explorer_path
+
+GlobalExplorer:
+   out_path: local path into which the output is written
+
+   cdist.core.GlobalExplorer.base_dir - local directory containing explorers
+   cdist.core.GlobalExplorer.remote_base_dir - remote directory containing explorers
+
+   path: local path to explorer
+   remote_path: remote path to explorer
+
+   See config_install: run_global_explorers()