[gedit] docs: document that gedit is in the process of using more Tepl features

[Sébastien Wilmet <swilmet src gnome org>]

commit cf6281d04e54b4e847fe0dac47578be693acf911
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Apr 13 18:23:55 2020 +0200

    docs: document that gedit is in the process of using more Tepl features

 docs/gedit-development-getting-started.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/docs/gedit-development-getting-started.md b/docs/gedit-development-getting-started.md
index 53ccf7e78..6b64bded2 100644
--- a/docs/gedit-development-getting-started.md
+++ b/docs/gedit-development-getting-started.md
@@ -31,9 +31,11 @@ editor. To learn that widget API, read the excellent
 mostly valid). But GtkTextView is not enough for source code edition. gedit
 actually uses the
 [GtkSourceView](https://wiki.gnome.org/Projects/GtkSourceView) library, which
-contains a subclass of GtkTextView with syntax highlighting, a completion
-framework, the search and replace, and many other features useful for a text
-editor or an IDE.
+contains a subclass of GtkTextView with many features useful for a text editor
+or an IDE. But GtkSourceView is not enough to have a full-blown text editor,
+gedit is actually in the process of using more features from the
+[Tepl](https://wiki.gnome.org/Projects/Tepl) library, and to further develop
+Tepl alongside gedit.
 
 For its plugin system, gedit uses the
 [libpeas](https://wiki.gnome.org/Projects/Libpeas) library.