I followed the instruction above, but downloading a ‘tar’ file fails. Tried it multiple times, but the same result. Any suggestions? (Chrome just says “Failed – Network error”)
**********
Update: Never mind, I found out if I get to “Downloads” on Chrome and click on the URL from there, it works for some reason.