diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index a2a4740e..d35565eb 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -10,7 +10,6 @@ Object:
 
 
 Type:
-   type.manifest_path
 
 
 GlobalExplorer: