[gtk-web/new-website] Reword the Eclipse page

[Emmanuele Bassi <ebassi src gnome org>]

commit 41433f991fa1bcac5983039bceef0d6546c29f8f
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Thu Jan 30 09:52:44 2020 +0100

    Reword the Eclipse page

 collections/_docs/eclipse.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/collections/_docs/eclipse.md b/collections/_docs/eclipse.md
index a017a1f..d0f3ac6 100644
--- a/collections/_docs/eclipse.md
+++ b/collections/_docs/eclipse.md
@@ -5,6 +5,8 @@ permalink: /docs/dev-tools/:name/
 
 ![GitHub Logo](/assets/img/docs/docs-eclipse.png)
 
-Eclipse is famous for our Java Integrated Development Environment (IDE), but our C/C++ IDE and PHP IDE are 
pretty cool too. You can easily combine language support and other features into any of our default packages, 
and the Eclipse Marketplace allows for virtually unlimited customization and extension.
-
-***
\ No newline at end of file
+Eclipse is famous for its Java Integrated Development Environment (IDE), but
+our C/C++ IDE and PHP IDE are pretty cool too. You can easily combine
+language support and other features into any of our default packages, and
+the Eclipse Marketplace allows for virtually unlimited customization and
+extension.