diff --git a/marketplace/scribblings/examples.scrbl b/marketplace/scribblings/examples.scrbl
index a1b7923..e74bad9 100644
--- a/marketplace/scribblings/examples.scrbl
+++ b/marketplace/scribblings/examples.scrbl
@@ -44,6 +44,3 @@ implementation instantiates this interface as a collection of Typed
 Racket programs.
 
 @section{TCP chat server}
-@section{Authoritative DNS server}
-@section{DNS resolver server}
-@section{SSH server}
diff --git a/marketplace/scribblings/marketplace.scrbl b/marketplace/scribblings/marketplace.scrbl
index 36ded5a..b25c992 100644
--- a/marketplace/scribblings/marketplace.scrbl
+++ b/marketplace/scribblings/marketplace.scrbl
@@ -15,7 +15,6 @@ This manual TODO
 @include-section["concepts.scrbl"]
 @include-section["highlevel.scrbl"]
 @include-section["lowlevel.scrbl"]
-@include-section["vm.scrbl"]
 @include-section["drivers.scrbl"]
 @include-section["writing-drivers.scrbl"]
 @include-section["management-and-monitoring.scrbl"]
diff --git a/marketplace/scribblings/outline.org b/marketplace/scribblings/outline.org
deleted file mode 100644
index bf8c71a..0000000
--- a/marketplace/scribblings/outline.org
+++ /dev/null
@@ -1,83 +0,0 @@
-#+STARTUP: nofold
-
-** Overview and Motivation
-
-** Concepts
-*** What is a process, what are event handlers?
-*** What is a VM?
-*** Subscription and Advertisement
-**** orientation
-**** topics, patterns and messages
-**** interest-type
-**** roles
-*** Presence
-*** Nesting, relaying, and levels of discourse
-
-** High-level interface
-*** #lang marketplace
-**** ground-vm, ground-vm:
-*** Constructing topics and roles
-**** ?
-**** Role
-**** Orientation
-**** InterestType
-*** Constructing transitions
-**** transition, transition:, transition/no-state
-**** cons-trees of actions; null, false, void; use of (when)
-**** sequence-actions
-*** Actions
-**** Communication-related
-***** endpoint, endpoint:
-***** delete-endpoint
-***** send-message
-***** send-feedback
-**** Process- and scheduling-related
-***** spawn, spawn:
-***** quit
-***** yield, yield:
-***** nested-vm, nested-vm:
-**** Cross-layer
-***** at-meta-level, at-meta-level:
-
-** Low-level interface
-*** Handler functions
-*** Events
-*** Actions
-**** Communication-related
-***** add-endpoint
-***** delete-endpoint
-***** send-message
-**** Process- and scheduling-related
-***** spawn
-***** quit
-***** yield
-**** Cross-layer
-***** at-meta-level
-
-** How the VMs work
-*** run-vm
-*** unification and Racket data (struct-map)
-*** nested VMs
-*** ground VMs and interfacing to Racket's event system
-
-** Drivers
-*** event-relay
-*** tcp-bare
-*** tcp
-*** timer (typed and untyped)
-*** udp (typed and untyped)
-
-** Writing new drivers
-*** pseudo-substruct
-
-** Management and monitoring
-*** generic-spy
-*** logging (MATRIX_LOG)
-*** debugger (experimental)
-
-** Example Applications
-*** TCP echo server
-*** TCP chat server
-*** Authoritative DNS server
-*** DNS resolver server
-*** SSH server
diff --git a/marketplace/scribblings/vm.scrbl b/marketplace/scribblings/vm.scrbl
deleted file mode 100644
index fbfdd76..0000000
--- a/marketplace/scribblings/vm.scrbl
+++ /dev/null
@@ -1,10 +0,0 @@
-#lang scribble/manual
-@require[racket/include]
-@include{prelude.inc}
-
-@title{How Marketplace VMs work}
-
-@section{run-vm}
-@section{unification and Racket data (struct-map)}
-@section{nested VMs}
-@section{ground VMs and interfacing to Racket's event system}