Bring introduction better up to date.

1 files changed, 10 insertions, 8 deletions

diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html
index c1a6e42..c1b405d 100755
--- a/htdocs/docs/users.html
+++ b/htdocs/docs/users.html
@@ -54,10 +54,12 @@
   <div id="Introduction" class="stb">
     <h3>Introduction</h3>
     <p>
-      The W3C Markup Validation Service is a web gateway to a well known SGML
-      parser called SP. SP will take your HTML and compare it to a set of
-      objective syntax rules called a "DTD", a Document Type Definition. This
-      way you can be sure your HTML is really valid and not just that it
+      The W3C Markup Validation Service is a web gateway to SGML and XML parsers,
+      and various other specialized validation services. The underlying
+      implementations will take your document and compare it to a set of
+      objective syntax rules for the submitted document.  For example for HTML
+      documents this set of rules is called a "DTD", a Document Type Definition.
+      This way you can be sure your HTML is really valid and not just that it
       conforms to some random programmer's idea of "nice" HTML. Note that valid
       HTML does not guarantee that your pages will work OK in all browsers.
       Most of them are severely broken and you may need to find alternate ways
@@ -65,13 +67,13 @@
     </p>
     <p>
       When you send an URL to the W3C Markup Validation Service, it will fetch
-      that URL and feed it to the SGML parser. If you upload a file it'll get
-      fed directly into the SGML parser. We then take the output from the SGML
-      parser and format it nicely as HTML and send it back to your web browser.
+      that URL and feed it to the underlying parsers. If you upload a file it'll
+      get fed directly into the parsers. We then take the output produced by the
+      parsers and format it nicely as HTML and send it back to your web browser.
     </p>
     <p>
       The W3C Markup Validation Service is not generating the error messages -
-      they are all generated by the underlying Parser - but it is appending
+      they are all generated by the underlying parsers - but it is appending
       short explanations and suggested fixes for each error. We provide a
       <a href="../feedback.html#errormsg">feedback channel</a> for users to
       suggest better explanations and more accurate solutions.