diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 41306a66..37945166 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -6,13 +6,6 @@ Object:
 
    path_remote
 
-Type:
-   explorer_dir
-   remote_explorer_dir
-
-   explorer_remote_dir
-
-
 GlobalExplorer:
    out_path: local path into which the output is written