Fix the bootstrap instructions.

It had broken due to GitHub serving a 301 which we weren't following.