patch to change tooltips for terminal emulator and help system

[jpg2 cec wustl edu]

This is a patch to gnome-core to change the tooltips for two
application launchers:

"Terminal emulation program" -> "Command Prompt"
"Integrated help system (Info, man, HTML)" - > "Gnome User Guide"

I'm posting the patch here (I already posted on gnome-love and
gnome-devel) simply to start discussion. I know not everyone will
agree with these tooltip changes.  

I personally think "Command Prompt" is the best tooltip for
gnome-terminal.  Perhaps "Help" or "Help System" would be better for
the gnome help browser.  

Thoughts?

----------------------------------------------------
name:    Jamin Philip Gray
email:   jgray writeme com
icq:     1361499
jabber:  jamin jabber com
web:     http://DoLinux.org/jamin/

We have all our private terrors, our particular shadows, our secret fears.  
We are afraid in a fear which we cannot face, which none understands, and
our hearts are torn from us, our brains unskinned like the layers of an
onion, ourselves the last.

--T.S. Eliot 

? tooltip_changes.patch
Index: gnome-terminal/gnome-terminal.desktop
===================================================================
RCS file: /cvs/gnome/gnome-core/gnome-terminal/gnome-terminal.desktop,v
retrieving revision 1.52
diff -u -r1.52 gnome-terminal.desktop
--- gnome-terminal/gnome-terminal.desktop	2001/05/27 20:57:30	1.52
+++ gnome-terminal/gnome-terminal.desktop	2001/07/21 18:11:55
@@ -32,7 +32,7 @@
 Name[wa]=Terminå di Gnome
 Name[zh_CN.GB2312]=GNOME Öն˻ú
 Name[zh_TW.Big5]=GNOME ²×ºÝ¾÷
-Comment=Terminal emulation program
+Comment=Command Prompt
 Comment[ca]=Emulador de terminal de GNOME
 Comment[cs]=Terminálový emulátor
 Comment[da]=Gnomes terminalemulator
Index: help-browser/gnome-help.desktop
===================================================================
RCS file: /cvs/gnome/gnome-core/help-browser/gnome-help.desktop,v
retrieving revision 1.48
diff -u -r1.48 gnome-help.desktop
--- help-browser/gnome-help.desktop	2001/05/27 20:57:31	1.48
+++ help-browser/gnome-help.desktop	2001/07/21 18:11:56
@@ -32,7 +32,7 @@
 Name[wa]=Aidance di Gnome
 Name[zh_CN.GB2312]=¸¨Öú˵Ã÷
 Name[zh_TW.Big5]=»²§U»¡©ú
-Comment=Integrated help system (Info, man, HTML)
+Comment=Gnome User Guide
 Comment[ca]=Sistema integrat d'ajuda (Info, man, HTML)
 Comment[cs]=Integrovaný systém nápovìdy (Info, man, HTML)
 Comment[da]=Integreret hjælpesystem (Info, man, HTML)