Hello,
I am excited to have discovered MBed. I am having trouble downloading it over HTTP. I want to suggest offering alternative download options e.g. torrent. I am sure you are aware of the benefits this offers for availability. I have had 3 failed attempts in a row for https://studio.mbed.com/installers/latest/win/MbedStudio.exe due to hiccups, but have pulled down more than 1.2GB in that time. Is it consistent with MBed’s license to distribute MBed Studio via torrent? If so, I would be happy to share if someone (studio.mbed.com or other) seeds.