[release-notes/gnome-3-20] developers - tweak the section on builder

[Allan Day <allanday src gnome org>]

commit 1875e03e7a748405640023e8e14c1d3390a38fb9
Author: Allan Day <allanpday gmail com>
Date:   Mon Mar 14 14:29:04 2016 +0000

    developers - tweak the section on builder

 help/C/developers.page |   11 +++++------
 1 files changed, 5 insertions(+), 6 deletions(-)
---
diff --git a/help/C/developers.page b/help/C/developers.page
index e15d4a9..5fdd34f 100644
--- a/help/C/developers.page
+++ b/help/C/developers.page
@@ -32,16 +32,15 @@
     new integrated development environment for GNOME. It aims to provide
     streamlined, powerful and modern experience for building GNOME
     applications, and already features inline completion, powerful global
-    search, flexible panels containing editors, terminal, documentation, file
-    and symbol trees, and much more.</p>
+    search, a documentation browser, a symbol tree browser, and much more.</p>
     <p>The Builder 3.20 release contains some significant new features, as well
     as a lot of polish and refinement. The options for building applications
     have been significantly extended: it is now possible to use Builder to
     create XDG app bundles, and it is also possible to build within a JHBuild
     environment. All of these build options (and more) can be found in a new
-    build configuration view. See <link
+    build configuration view (see <link
     href="https://blogs.gnome.org/chergert/2016/02/16/build-configurations-and-xdg-app/";>
-    Christian Hergert's blog post on this</link> for more details.</p>
+    Christian Hergert's blog post</link> for more details).</p>
     <p>A new multi-process plugin framework is another major feature for 3.20.
     This allows plugins to add a huge range of functionality to Builder,
     including additional autocompletion providers, tools, services, build
@@ -50,8 +49,8 @@
     <link href="https://blogs.gnome.org/chergert/2016/02/27/what-can-you-extend-in-builder/";>
     What can you extend in Builder</link> provides a full list of what can be
     extended using the new plugin system. There is also a tutorial that
-    describes how to write your own plugins (
-    <link href="https://blogs.gnome.org/chergert/2016/01/21/builder-plugins-part-i/";>
+    describes how to write your own plugins
+    (<link href="https://blogs.gnome.org/chergert/2016/01/21/builder-plugins-part-i/";>
     part one</link>,
     <link href="https://blogs.gnome.org/chergert/2016/01/22/builder-plugins-part-ii";>
     part two</link>).</p>