diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index cb452450..a4f2dd40 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -14,6 +14,8 @@ Type:
 
    explorer_remote_dir
 
+   type.manifest_path
+
 
 GlobalExplorer:
    out_path: local path into which the output is written