diff --git a/tvix/docs/src/TODO.md b/tvix/docs/src/TODO.md
index 033a6bfc4..5f3ce1b90 100644
--- a/tvix/docs/src/TODO.md
+++ b/tvix/docs/src/TODO.md
@@ -152,8 +152,6 @@ there are ruled out, adding other types of builders might be interesting.
 Long-term, we want to extend traits and gRPC protocol.
 This requires some more designing. Some goals:
 
- - use stricter castore types (and maybe stricter build types) instead of
-   proto types, add conversion code where necessary
  - (more granular) control while a build is happening
  - expose more telemetry and logs