diff --git a/src/guide/index.md b/src/guide/index.md
deleted file mode 100644
index 07dd0c5..0000000
--- a/src/guide/index.md
+++ /dev/null
@@ -1 +0,0 @@
-# Overview
diff --git a/src/introduction.md b/src/introduction.md
index e4fc8c3..6db96ca 100644
--- a/src/introduction.md
+++ b/src/introduction.md
@@ -17,30 +17,6 @@ Linux's Unix heritage.
  - Project homepage: <https://synit.org/>
  - Source code: <https://git.syndicate-lang.org/synit/>
 
-<!--
-
-## Who should read these pages
-
-These pages present information about Synit for a few different audiences.
-
- - To learn more about Synit and its foundations, you can read
-    - an overview of its [architecture](./architecture.md),
-    - [installation instructions](./install.md) for the system, and
-    - an extensive [project glossary](./glossary.md).
-
- - For information on how to configure and use a Synit system, see the [User and Administration
-   Guide](./operation/index.md), a nascent system handbook for Synit.
-
- - To learn about writing programs that integrate into Synit, see the [Programming Guide and
-   Reference](./guide/index.md).
-
- - Finally, the section on [Specifications and Theory](./theory/index.md) digs deeper into some
-   of the concepts underpinning Synit's architecture. This is also the section where you will
-   find formal specification of the various protocols and data structures that make Synit
-   interesting.
-
--->
-
 ## Quickstart
 
 If you have a mobile phone or computer capable of running
diff --git a/src/theory/index.md b/src/theory/index.md
deleted file mode 100644
index 9b02ae0..0000000
--- a/src/theory/index.md
+++ /dev/null
@@ -1,6 +0,0 @@
-# Specifications and Theory
-
-TODO: intro
-
- - [Syndicated Actor Model](../syndicated-actor-model.md)
- - [Protocol](../protocol.md)