Adding a pointer to the explanation for how to install quicklisp from behind a proxy