[gnome-builder] doc: fix workbench menu info

[Christian Hergert <chergert src gnome org>]

commit 794637aac1bc75624f23be97bf85ccea5a44ac21
Author: Christian Hergert <chergert redhat com>
Date:   Sat Sep 2 19:49:59 2017 -0700

    doc: fix workbench menu info

 doc/exploring.rst |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/doc/exploring.rst b/doc/exploring.rst
index 300691c..9d730fe 100644
--- a/doc/exploring.rst
+++ b/doc/exploring.rst
@@ -62,7 +62,7 @@ Type a few characters from the file you would like to open and it will fuzzy sea
 Use "Enter" to complete the request and open the file.
 
 To the right of the search box is the workbench menu.
-You can find more options here such as `Showing and Hiding Panels`_.
+You can find less-used features here.
 
 Switching Perspectives
 ======================