From 4d015aff3072536bd437a7f4e14ebd246b6fce20 Mon Sep 17 00:00:00 2001
From: Max Kellermann <max@musicpd.org>
Date: Tue, 5 Jun 2018 21:35:19 +0200
Subject: [PATCH] doc/user.xml: rewrite the "Introduction" section with text
 from the website

---
 doc/user.xml | 32 ++++++++------------------------
 1 file changed, 8 insertions(+), 24 deletions(-)

diff --git a/doc/user.xml b/doc/user.xml
index bc2e76e89..15f12143e 100644
--- a/doc/user.xml
+++ b/doc/user.xml
@@ -8,34 +8,18 @@
   <chapter id="intro">
     <title>Introduction</title>
 
+    <para>
+      <application>Music Player Daemon</application>
+      (<application>MPD</application>) is a flexible, powerful,
+      server-side application for playing music.  Through plugins and
+      libraries it can play a variety of sound files while being
+      controlled by its network protocol.
+    </para>
+
     <para>
       This document is work in progress.  Most of it may be incomplete
       yet.  Please help!
     </para>
-
-    <para>
-      <application>MPD</application> (Music Player Daemon) is, as the
-      name suggests, a server software allowing you to remotely play
-      your music, handle playlists, deliver music (HTTP streams with
-      various sub-protocols) and organize playlists.
-    </para>
-
-    <para>
-      It has been written with minimal resource usage and stability in
-      mind!  Infact, it runs fine on a Pentium 75, allowing you to use
-      your cheap old PC to create a stereo system!
-    </para>
-
-    <para>
-      <application>MPD</application> supports also gapless playback,
-      buffered audio output, and crossfading!
-    </para>
-
-    <para>
-      The separate client and server design allows users to choose a
-      user interface that best suites their tastes independently of
-      the underlying daemon, which actually plays music!
-    </para>
   </chapter>
 
   <chapter id="install">