diff --git a/tvix/docs/src/SUMMARY.md b/tvix/docs/src/SUMMARY.md
index 7c25c55ee..633c13683 100644
--- a/tvix/docs/src/SUMMARY.md
+++ b/tvix/docs/src/SUMMARY.md
@@ -4,6 +4,19 @@
 - [Architecture & data flow](./architecture.md)
 - [TODOs](./TODO.md)
 
+# Evaluator
+- [Compilation of Bindings](./eval/bindings.md)
+- [Builtins](./eval/builtins.md)
+- [Build References](./eval/build-references.md)
+- [Catchable Errors](./eval/catchable-errors.md)
+- [Known Optimisation Potential](./eval/known-optimisation-potential.md)
+- [Langugage Issues](./eval/language-issues.md)
+- [Attrset Opcodes](./eval/opcodes-attrsets.md)
+- [Recursive attribute sets](./eval/recursive-attrs.md)
+- [VM Loop](./eval/vm-loop.md)
+- [Abandoned](./eval/abandoned/index.md)
+  - [Thread-local VM](./eval/abandoned/thread-local-vm.md)
+
 # Store
 - [Store API](./store/api.md)
 - [BlobStore Chunking](./castore/blobstore-chunking.md)
diff --git a/tvix/docs/src/eval/abandoned/index.md b/tvix/docs/src/eval/abandoned/index.md
new file mode 100644
index 000000000..1cef704d0
--- /dev/null
+++ b/tvix/docs/src/eval/abandoned/index.md
@@ -0,0 +1,3 @@
+# Abandoned ideas
+
+This chapter keeps track of abandoned ideas, and why they were abandoned.
diff --git a/tvix/eval/docs/abandoned/thread-local-vm.md b/tvix/docs/src/eval/abandoned/thread-local-vm.md
similarity index 100%
rename from tvix/eval/docs/abandoned/thread-local-vm.md
rename to tvix/docs/src/eval/abandoned/thread-local-vm.md
diff --git a/tvix/eval/docs/bindings.md b/tvix/docs/src/eval/bindings.md
similarity index 100%
rename from tvix/eval/docs/bindings.md
rename to tvix/docs/src/eval/bindings.md
diff --git a/tvix/eval/docs/build-references.md b/tvix/docs/src/eval/build-references.md
similarity index 100%
rename from tvix/eval/docs/build-references.md
rename to tvix/docs/src/eval/build-references.md
diff --git a/tvix/eval/docs/builtins.md b/tvix/docs/src/eval/builtins.md
similarity index 100%
rename from tvix/eval/docs/builtins.md
rename to tvix/docs/src/eval/builtins.md
diff --git a/tvix/eval/docs/catchable-errors.md b/tvix/docs/src/eval/catchable-errors.md
similarity index 100%
rename from tvix/eval/docs/catchable-errors.md
rename to tvix/docs/src/eval/catchable-errors.md
diff --git a/tvix/eval/docs/known-optimisation-potential.md b/tvix/docs/src/eval/known-optimisation-potential.md
similarity index 100%
rename from tvix/eval/docs/known-optimisation-potential.md
rename to tvix/docs/src/eval/known-optimisation-potential.md
diff --git a/tvix/eval/docs/language-issues.md b/tvix/docs/src/eval/language-issues.md
similarity index 100%
rename from tvix/eval/docs/language-issues.md
rename to tvix/docs/src/eval/language-issues.md
diff --git a/tvix/eval/docs/opcodes-attrsets.md b/tvix/docs/src/eval/opcodes-attrsets.md
similarity index 100%
rename from tvix/eval/docs/opcodes-attrsets.md
rename to tvix/docs/src/eval/opcodes-attrsets.md
diff --git a/tvix/eval/docs/recursive-attrs.md b/tvix/docs/src/eval/recursive-attrs.md
similarity index 100%
rename from tvix/eval/docs/recursive-attrs.md
rename to tvix/docs/src/eval/recursive-attrs.md
diff --git a/tvix/eval/docs/vm-loop.md b/tvix/docs/src/eval/vm-loop.md
similarity index 100%
rename from tvix/eval/docs/vm-loop.md
rename to tvix/docs/src/eval/vm-loop.md