diff --git a/distro-source/core/src/doc/helpInfo/servletMappings.html b/distro-source/core/src/doc/helpInfo/servletMappings.html
new file mode 100644
index 0000000..bad50ee
--- /dev/null
+++ b/distro-source/core/src/doc/helpInfo/servletMappings.html
@@ -0,0 +1,24 @@
+<html>
+<head>
+<meta http-equiv="content-type" content="text/html; charset=UTF-8">
+<title>Servlet Mappings, GWT Modules, and web.xml</title>
+</head>
+<body>
+
+<p>GWT modules may declare one or more <code>&lt;servlet&gt;</code>
+tags. These define Java Servlets that implement the server-side
+component of a GWT-enabled web application.</p>
+
+<p>Prior to GWT 1.6, these GWT module servlet tags controlled the set of
+servlets were actually instantiated during hosted mode. But as of GWT 1.6, this
+is no longer true.  Instead, the web application's <code>WEB-INF/web.xml</code>
+configuration file controls what servlets are instantiated. A GWT module
+specifies only what servlets are <i>expected</i>.
+
+<p>During hosted mode startup, the set of expected servlets (from GWT module
+<code>&lt;servlet&gt;</code> tags) is validated against the set of actual
+servlets (from the <code>WEB-INF/web.xml</code>) and a warning is issued for
+each expected servlet which does not match an actual servlet.
+
+</body>
+</html>