Unable to download via board manager but can access via the web

Development Tools IDE 1.x
10

I'm glad to hear you identified the problem and were able to find a workaround. Thanks for taking the time to post an update with your findings. Enjoy!