diff --git a/quad/quad/info.rkt b/quad/quad/info.rkt
index bb4aa97a..87baa481 100644
--- a/quad/quad/info.rkt
+++ b/quad/quad/info.rkt
@@ -1,4 +1,4 @@
 #lang info
 
-(define scribblings '(("scribblings/quad.scrbl" (multi-page))))
+(define scribblings '(("scribblings/quad.scrbl" ())))
 (define compile-omit-paths '("tests.rkt" "tests-ocm.rkt"))
diff --git a/quad/quad/lang/top.rkt b/quad/quad/lang/top.rkt
deleted file mode 100644
index 15012886..00000000
--- a/quad/quad/lang/top.rkt
+++ /dev/null
@@ -1,19 +0,0 @@
-#lang racket/base
-(require (for-syntax racket/base) pollen/tag)
-(provide def/c (rename-out (top~ #%top)))
-
-;; Changes the default behavior of #%top.
-;; Unbound identifiers are allowed, and treated as the 
-;; tag in a txexpr (with the rest of the expression treated as the body)
-;; To suppress this behavior, use def/c to wrap any name.
-;; If that name isn't already defined, you'll get the usual syntax error.
-
-(define-syntax-rule (top~ . id)
-  (make-default-tag-function 'id))
-
-(define-syntax (def/c stx)
-  (syntax-case stx ()
-    [(_ x)
-     (if (identifier-binding #'x )
-         #'x
-         #'(#%top . x))]))
\ No newline at end of file
diff --git a/quad/quad/lang/zam.rkt b/quad/quad/lang/zam.rkt
deleted file mode 100644
index 6f1f7b4d..00000000
--- a/quad/quad/lang/zam.rkt
+++ /dev/null
@@ -1 +0,0 @@
-#lang racket
diff --git a/quad/quad/scribblings/quad.scrbl b/quad/quad/scribblings/quad.scrbl
index 47e55d97..bec86659 100644
--- a/quad/quad/scribblings/quad.scrbl
+++ b/quad/quad/scribblings/quad.scrbl
@@ -4,7 +4,7 @@
 
 @author[(author+email "Matthew Butterick" "mb@mbtype.com")]
 
-@defmodule[quad]
+@defmodulelang[quad]
 
 @italic{This documentation explains software that is under development. It is therefore rife with optimistic claims and wishful thinking.}
 
@@ -101,8 +101,6 @@ A document processor starts with input that we can think of as one giant line of
 
 @section{The markup language}
 
-@defmodulelang[quad]
-
 Quad's markup language is a Racket-implemented DSL (= domain-specific language). It's not a language in the sense of Turing-complete. Rather, a Quad ``program'' resembles text annotated with high-level layout-description commands (not unlike XML/HTML). 
 
 Quad programs can be written directly, or generated as the output of other programs.