I'm happy. The download failed the first time, but then I tried again, and it worked. Now, I can move forward.
