Patch for workspace-switcher doc

[Claude Paroz <paroz email ch>]

Hi,

I have a patch I'd like to apply to workspace-switcher documentation.
http://svn.gnome.org/viewcvs/gnome-panel/trunk/help/workspace-switcher/C/workspace-switcher.xml

Should I create a bug report or can I simply post it to this list ?

Regards.

Claude

--- workspace-switcher.xml	2007-01-06 12:54:01.000000000 +0100
+++ workspace-switcher-new.xml	2007-01-06 14:03:18.000000000 +0100
@@ -218,6 +218,7 @@
 	<sect2 id="workspacelist-navigate">
 	<title>To Navigate Workspaces</title>
 	<para>The background of the button in the applet that represents the current workspace is highlighted. To switch to another workspace, click on the button that represents the new workspace. To return to your original workspace, repeat this for the workspace you started on.</para>
+	<para>You can also switch between workspaces using keyboard shortcuts, see the <ulink type="help" url="ghelp:user-guide?gosoverview-41">related section in the GNOME User Guide</ulink>.</para>
 	<para>When you switch to a different workspace, the content of the <application>Window List</application> applet changes to reflect the windows that are open in the new workspace.</para>
 	</sect2>
 	<sect2 id="workspacelist-move-window">