Hi there!If your using the `download.bat` file, you really need to do things in a particular manner, since it was written for command-line beginners. But I'm glad with your clever detective work you were able to figure it all out!
