diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 35648910..b79b719b 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -7,8 +7,6 @@ Object:
 Type:
    type.transferred_explorers
 
-   type.type_explorer_paths() -> relative list of paths of explorer
-
 
 GlobalExplorer:
    out_path: local path into which the output is written