Hi! Thanks so much for replying! I had tried this both on a University network, and also the network at my living community, but I don’t know how to know if I was behind a firewall.
I also ended up getting the download to work, by installing it via RTools42 instead of RTools43. Do you have any idea as to why that might be the case?
Thanks again!