Remove otiose "this document describes the".

Add "anyone porting the MPS to a new platform" to the readership of design documents that they might need to consult.

Copied from Perforce
 Change: 187377
 ServerID: perforce.ravenbrook.com

mps/design/arenavm.txt

@@ -17,10 +17,9 @@ Virtual Memory Arena
 Introduction
 ------------
 
-_`.intro`: This document describes the detailed design of the Virtual
-Memory Arena Class of the Memory Pool System. The VM Arena Class is
-just one class available in the MPS. The generic arena part is
-described in design.mps.arena_.
+_`.intro`: This is the design of the Virtual Memory Arena Class of the
+Memory Pool System. The VM Arena Class is just one class available in
+the MPS. The generic arena part is described in design.mps.arena_.
 
 .. _design.mps.arena: arena
 

mps/design/buffer.txt

@@ -15,8 +15,8 @@ Allocation buffers and allocation points
 Introduction
 ------------
 
-_`.scope`: This document describes the design of allocation buffers
-and allocation points.
+_`.scope`: This is the design of allocation buffers and allocation
+points.
 
 _`.purpose`: The purpose of this document is to record design
 decisions made concerning allocation buffers and allocation points and

mps/design/config.txt

@@ -20,6 +20,9 @@ _`.intro`: This document describes how the `Memory Pool System
 that it can target different architectures, operating systems, build
 environments, varieties, and products.
 
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
+
 
 
 Requirements

mps/design/freelist.txt

@@ -15,8 +15,7 @@ Free list allocator
 Introduction
 ------------
 
-_`.intro`: This document describes the free list allocator for the
-Memory Pool System.
+_`.intro`: This is the design of the free list allocator.
 
 _`.readership`: Any MPS developer.
 

mps/design/lock.txt

@@ -15,10 +15,10 @@ Lock module
 Introduction
 ------------
 
-_`.intro`: This document describes the design of the lock module in
-the Memory Pool System.
+_`.intro`: This is the design of the lock module.
 
-_`.readership`: Any MPS developer.
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
 
 
 Background

mps/design/nailboard.txt

@@ -15,8 +15,7 @@ Nailboards for ambiguously referenced segments
 Introduction
 ------------
 
-_`.intro`: This document describes the nailboard design for the Memory
-Pool System.
+_`.intro`: This is the design of the nailboard module.
 
 _`.readership`: Any MPS developer.
 

mps/design/poolams.txt

@@ -36,11 +36,10 @@ req.mps that captures the commonalities between the products -- pekka
 Overview
 --------
 
-_`.overview`: This document describes the design of the AMS (Automatic
-Mark-and-Sweep) pool class. The AMS pool is a proof-of-concept design
-for a mark-sweep pool in the MPS. It's not meant to be efficient, but
-it could serve as a model for an implementation of a more advanced
-pool (such as EPVM).
+_`.overview`: This is the design of the AMS (Automatic Mark-and-Sweep)
+pool class. The AMS pool is a proof-of-concept design for a mark-sweep
+pool in the MPS. It's not meant to be efficient, but it could serve as
+a model for an implementation of a more advanced pool (such as EPVM).
 
 
 Requirements

mps/design/prmc.txt

@@ -18,7 +18,8 @@ Introduction
 _`.intro`: This is the design of the protection mutator context
 module.
 
-_`.readership`: Any MPS developer.
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
 
 _`.overview`: The protection mutator context module decodes the
 *context* of a mutator thread at the point when it caused a protection

mps/design/prot.txt

@@ -15,10 +15,10 @@ Memory protection
 Introduction
 ------------
 
-_`.intro`: This document describes the design of the memory protection
-module.
+_`.intro`: This is the design of the memory protection module.
 
-_`.readership`: Any MPS developer.
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
 
 _`.overview`: The memory protection module ensures that the mutator
 sees a consistent view of memory during incremental collection, by

mps/design/seg.txt

@@ -15,7 +15,7 @@ Segment data structure
 Introduction
 ------------
 
-_`.intro`: This document describes the MPS Segment data structure.
+_`.intro`: This is the design of the segment data structure.
 
 
 Overview

mps/design/sp.txt

@@ -15,10 +15,10 @@ Stack probe
 Introduction
 ------------
 
-_`.intro`: This document describes the design of the stack probe
-module.
+_`.intro`: This is the design of the stack probe module.
 
-_`.readership`: Any MPS developer.
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
 
 _`.overview`: This module ensures that the stack cannot overflow while
 the MPS is holding a lock.

mps/design/ss.txt

@@ -15,10 +15,11 @@ Stack and register scanning
 Introduction
 ------------
 
-_`.intro`: This document describes the design of the stack and
-register scanning module.
+_`.intro`: This is the design of the stack and register scanning
+module.
 
-_`.readership`: Any MPS developer.
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
 
 _`.overview`: This module locates and scans references in the control
 stack and registers of the *current* thread.

mps/design/testthr.txt

@@ -15,8 +15,8 @@ Multi-threaded testing
 Introduction
 ------------
 
-_`.intro`: This document describes the design for multi-threaded
-testing in the Memory Pool System.
+_`.intro`: This is the design of the multi-threaded testing module
+in the Memory Pool System.
 
 _`.readership`: Any MPS developer.
 

mps/design/thread-manager.txt

@@ -17,7 +17,8 @@ Introduction
 
 _`.intro`: This is the design of the thread manager module.
 
-_`.readership`: Any MPS developer.
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
 
 _`.overview`: The thread manager implements two features that allow
 the MPS to work in a multi-threaded environment: exclusive access to

mps/design/vm.txt

@@ -15,10 +15,10 @@ Virtual mapping
 Introduction
 ------------
 
-_`.intro`: This document describes the design of the virtual mapping
-module.
+_`.intro`: This is the design of the virtual mapping module.
 
-_`.readership`: Any MPS developer.
+_`.readership`: Any MPS developer; anyone porting the MPS to a new
+platform.
 
 _`.overview`: The virtual mapping module provides a simple, portable,
 low-level interface to address space, with functions for reserving,