ui: the tour names the dock button; the user guide's key table follows shortcuts.cpp

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

src/ui_probe.cpp

@@ -185,8 +185,8 @@ gboolean exit_probe_step3b(gpointer user) {
   a->dbg_dock_sensitive = gtk_widget_get_sensitive(a->side_box) ? 1 : 0;
   a->dbg_dock_w = a->dbg_side_w;
   {
-    // The dock holds only the readouts box; the full cursors and measurements panels are slide-over pages,
-    // registered whether or not either is open.
+    // The dock holds only the readouts box, a separator and the events block; the full cursors and
+    // measurements panels are slide-over pages, registered whether or not either is open.
     int children = 0;
     for (GtkWidget* c = gtk_widget_get_first_child(a->dock_page); c != nullptr;
          c = gtk_widget_get_next_sibling(c)) {