[racket-dev] rename "Help Desk" menu item

Now that there is no longer a "Help Desk", can that menu item in 
DrRacket be renamed to something like "Documentation" or "Racket 
Documentation"?

I think lots of users are reluctant enough to go to "Help" menus, since 
they (Help menus, not users) are usually full of useless filler crap.  
If a user *does* open the menu, hopefully "Documentation" will catch 
their eye.

-- 
http://www.neilvandyke.org/