[gnome-mines] help: Don't show Keyboard Shortcuts page

[Robert Roth <robertroth src gnome org>]

commit 82991191b10c0ad3e5ffc185e3d9f8439a6ebb26
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Sun Dec 9 22:46:07 2018 -0500

    help: Don't show Keyboard Shortcuts page
    
    but keep shipping it for now so that we don't lose translations
    until we make a stronger decision.
    
    https://mail.gnome.org/archives/desktop-devel-list/2018-December/msg00024.html

 help/C/index.page | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/help/C/index.page b/help/C/index.page
index 93e0048..f45423a 100644
--- a/help/C/index.page
+++ b/help/C/index.page
@@ -36,8 +36,14 @@
   <section id="tips" style="2column">
     <title>Useful tips</title>
   </section>
+
+<!--
+Let's not include Keyboard Shortcuts here for now.
+See https://mail.gnome.org/archives/desktop-devel-list/2018-December/msg00024.html
   <section id="advanced" style="2column">
     <title>Advanced</title>
+-->
+
   </section>
   <section id="get-involved" style="2column">
     <title>Get Involved</title>