[gtk-web/issue-17] Remove reference to gnome-builder from the monodevelop page

[Emmanuele Bassi <ebassi src gnome org>]

commit 9fa4da06b795514cf28ebefa7d17e6bb36d1ae2a
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Wed Feb 19 17:13:27 2020 +0000

    Remove reference to gnome-builder from the monodevelop page
    
    Fixes: #17

 collections/_docs/mono-develop.md | 25 ++++---------------------
 1 file changed, 4 insertions(+), 21 deletions(-)
---
diff --git a/collections/_docs/mono-develop.md b/collections/_docs/mono-develop.md
index f48ca31..dbdbe6c 100644
--- a/collections/_docs/mono-develop.md
+++ b/collections/_docs/mono-develop.md
@@ -5,11 +5,10 @@ permalink: /docs/dev-tools/:name/
 
 ![Mono Develop](/assets/img/docs/docs-mono-develop.png)
 
-MonoDevelop enables developers to quickly write desktop and web applications on Linux, Windows and macOS. It 
also makes it easy for developers to port .NET applications created with Visual Studio to Linux and macOS 
maintaining a single code base for all platforms.
-
-GNOME Builder is a toolsmith for GNOME-based applications. It is a tool to help you write and contribute to 
great GNOME-based applications.
-
-Visit the [official site for GNOME Builder](https://wiki.gnome.org/Apps/Builder).
+MonoDevelop enables developers to quickly write desktop and web applications
+on Linux, Windows and macOS. It also makes it easy for developers to port
+.NET applications created with Visual Studio to Linux and macOS maintaining
+a single code base for all platforms.
 
 ***
 
@@ -42,19 +41,3 @@ Visit the [official site for GNOME Builder](https://wiki.gnome.org/Apps/Builder)
 * **Search** for files, classes, and functions with lightning fast fuzzy search.
 * **Explore APIs** used by your project with auto-completion for C/C++, Python, Rust, and Vala. For 
languages without native support, ctags integration is provided.
 
-## Getting Builder
-
-Builder is available for download through most popular distributions' software centers. Source code can be 
obtained from Builder's git repository. Builder can also be installed and run via 
[Flatpak](https://wiki.gnome.org/Projects/SandboxedApps):
-
-```shell
-flatpak install --from https://flathub.org/repo/appstream/org.gnome.Builder.flatpakref
-flatpak run org.gnome.Builder
-```
-
-## Getting in Touch
-
-Questions regarding use and development of Builder are welcome though Builder's [IRC 
channel](irc://irc.gnome.org/%23gnome-builder) (`#gnome-builder` at `irc.gnome.org`).
-
-## Filing a bug
-
-If you found a problem or have a feature suggestion, feel free to [file a bug at GNOME's bug 
tracker](https://gitlab.gnome.org/GNOME/gnome-builder/issues).