how to configure GNOME extensions

admin-guide/configuration/desktop/gnome_extensions.md

@@ -48,7 +48,7 @@ $ dconf watch /org/gnome/shell/extensions/
 and then bring your changes into your default [dconf configuration](dconf).
 
 Note that users may still override such configuration.
-To these settings do
+To reset user specific settings do
 ```
 rm ~/.config/dconf/user
 ```