<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Also, there should be somewhere in this function call where I should have put my username I guess, but where?<br>
<br></blockquote><div>[...] <br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">   (get-package-spec &quot;planet&quot; ; no need to change that I suppose ?<br>

<br></blockquote><br></div>Hmm, I changed &quot;planet&quot; to my username, which is made obvious in your 
documentation...<br>
But it still recompiles everything (so I prefer to close Racket and 
reinstall it, it&#39;s much faster...).<br>