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

From: Neil Van Dyke (neil at neilvandyke.org)
Date: Thu Jun 30 12:07:21 EDT 2011

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

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.


Posted on the dev mailing list.