After upgrading to v2.3.3 stuck downloading index

Great job on finding this workaround for the problem. Once I had the information that Serial Monitor was a factor, I was finally able to reproduce the fault. I performed an investigation and submitted a formal bug report to the Arduino developers:

5 Likes