[devhelp] Small fix for previous commit

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

commit 471b31021ac3b8a0c4d14996c65f116701e57f27
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Thu Aug 22 12:57:45 2019 +0200

    Small fix for previous commit
    
    I'm stupid, g_settings_bind() is to bind a GSettings key with a
    *property*, not another GSettings key.

 devhelp/dh-settings.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/devhelp/dh-settings.c b/devhelp/dh-settings.c
index c732f40d..5b6813d7 100644
--- a/devhelp/dh-settings.c
+++ b/devhelp/dh-settings.c
@@ -88,7 +88,7 @@
  * Idea: leverage other GSettings backends instead of using the default one? For
  * example the memory GSettings backend, see g_memory_settings_backend_new().
  * Have both backends, the default GSettings backend plus the memory backend,
- * and do optional binding between the two with g_settings_bind()?
+ * and optionally bind the keys between the two?
  *
  * -----
  *