<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
</div></div>Did you use `raco docs&#39; to open the documentation page?<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>No. </div><div><br></div><div>All I did was to access the Help Desk from DrRacket&#39;s Help menu.</div>

<div><br></div><div>BTW, this is a fresh install, after uninstalling the previous version.</div><div><br></div><div>I can see the wrong links in the file index.html, in </div><div>AppData/Roaming/Racket/<a href="http://5.3.0.11/doc/">5.3.0.11/doc/</a></div>

<div><br></div><div>Best,</div><div>António.</div></div>