<div dir="ltr">They used to be different and I feared people had used one or the other in course notes and so didn't want to get rid of them, but probably it has been long enough now that I should just get rid of the "help desk" menu item.<div>
<br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Dec 2, 2013 at 5:56 PM, Harry Spier <span dir="ltr"><<a href="mailto:vasishtha.spier@gmail.com" target="_blank">vasishtha.spier@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div>Dear list members,</div><div><br></div><div>Why in the DrRacket help menu is there both a  "helpdesk" and a "Racket Documentation"  button.  AFAICT they both do the same thing, bring up the Racket documentation webpage.</div>

<div><br></div><div>Thanks,</div><div>Harry</div></div>
<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>