diff --git a/collects/scribblings/reference/eval-model.scrbl b/collects/scribblings/reference/eval-model.scrbl
index c646ebf7f4..2c75b4300c 100644
--- a/collects/scribblings/reference/eval-model.scrbl
+++ b/collects/scribblings/reference/eval-model.scrbl
@@ -339,6 +339,9 @@ specified with the datatype and its associated procedures.
 @;------------------------------------------------------------------------
 @section[#:tag "gc-model"]{Garbage Collection}
 
+@margin-note/ref{See @secref["memory"] for functions related to
+garbage collection.}
+
 In the program state
 
 @prog-steps[
@@ -504,6 +507,8 @@ access the same @tech{location}.
 @;------------------------------------------------------------------------
 @section[#:tag "module-eval-model"]{Modules and Module-Level Variables}
 
+@margin-note/ref{See @secref["module"] for the syntax of modules.}
+
 Most definitions in PLT Scheme are in modules. In terms of evaluation,
 a module is essentially a prefix on a defined name, so that different
 modules can define the name. That is, a @deftech{module-level
@@ -599,6 +604,8 @@ re-declared, each re-declaration of the module is immediately
 @;------------------------------------------------------------------------
 @section[#:tag "mark-model"]{Continuation Frames and Marks}
 
+@margin-note/ref{See @secref["contmarks"] for continuation-mark forms and functions.}
+
 Every continuation @scheme[_C] can be partitioned into
 @deftech{continuation frames} @frame[1], @frame[2], ..., @frame["n"]
 such that @scheme[_C] = @*sub[@frame[1] @*sub[@frame[2] @*sub["..."
@@ -618,6 +625,8 @@ to implement dynamic scope.
 @;------------------------------------------------------------------------
 @section[#:tag "prompt-model"]{Prompts, Delimited Continuations, and Barriers}
 
+@margin-note/ref{See @secref["cont"] for continuation and prompt functions.}
+
 A @deftech{prompt} is a special kind of continuation frame that is
 annotated with a specific @deftech{prompt tag} (essentially a
 continuation mark). Various operations allow the capture of frames in
@@ -650,6 +659,8 @@ escape-continuation aborts can cross continuation barriers.
 @;------------------------------------------------------------------------
 @section[#:tag "thread-model"]{Threads}
 
+@margin-note/ref{See @secref["concurrency"] for thread and synchronization functions.}
+
 Scheme supports multiple @deftech{threads} of evaluation.  Threads run
 concurrently, in the sense that one thread can preempt another without
 its cooperation, but threads currently all run on the same processor
@@ -677,6 +688,8 @@ is created) as all other threads.
 @;------------------------------------------------------------------------
 @section[#:tag "parameter-model"]{Parameters}
 
+@margin-note/ref{See @secref["parameters"] for parameter forms and functions.}
+
 @deftech{Parameters} are essentially a derived concept in Scheme; they
 are defined in terms of @tech{continuation marks} and @tech{thread
 cells}. However, parameters are also built in, in the sense that some
@@ -705,6 +718,8 @@ the current continuation's frame.
 @;------------------------------------------------------------------------
 @section[#:tag "exn-model"]{Exceptions}
 
+@margin-note/ref{See @secref["exns"] for exception forms, functions, and types.}
+
 @deftech{Exceptions} are essentially a derived concept in Scheme; they
 are defined in terms of continuations, prompts, and continuation
 marks.  However, exceptions are also built in, in the sense that
@@ -727,6 +742,8 @@ outermost frame of the continuation for any new thread.
 @;------------------------------------------------------------------------
 @section[#:tag "custodian-model"]{Custodians}
 
+@margin-note/ref{See @secref["custodians"] for custodian functions.}
+
 A @deftech{custodian} manages a collection of threads, file-stream
 ports, TCP ports, TCP listeners, UDP sockets, and byte converters.
 Whenever a thread, file-stream port, TCP port, TCP listener, or UDP
diff --git a/collects/scribblings/reference/namespaces.scrbl b/collects/scribblings/reference/namespaces.scrbl
index 38317f83cc..1e2f38072f 100644
--- a/collects/scribblings/reference/namespaces.scrbl
+++ b/collects/scribblings/reference/namespaces.scrbl
@@ -1,7 +1,7 @@
 #lang scribble/doc
 @(require "mz.ss")
 
-@title{Namespaces}
+@title[#:tag "Namespaces"]{Namespaces}
 
 See @secref["namespace-model"] for basic information on the
 @tech{namespace} model.
diff --git a/collects/scribblings/reference/syntax-model.scrbl b/collects/scribblings/reference/syntax-model.scrbl
index 1f44537925..79220ca738 100644
--- a/collects/scribblings/reference/syntax-model.scrbl
+++ b/collects/scribblings/reference/syntax-model.scrbl
@@ -682,6 +682,9 @@ it, compiles it, and evaluates it.
 @;------------------------------------------------------------------------
 @section[#:tag "namespace-model"]{Namespaces}
 
+@margin-note/ref{See @secref["Namespaces"] for functions that
+manipulate namespaces.}
+
 A @deftech{namespace} is a top-level mapping from symbols to binding
 information. It is the starting point for expanding an expression; a
 @tech{syntax object} produced by @scheme[read-syntax] has no initial