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

Four minutes ago, Neil Van Dyke wrote:
> 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.

+1

[But I'll leave the change to people who'd know more how the wording
can fit or not.]

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!