Due to a regression in 2.3.5 (#2696), auto-update won't trigger for users who are already using Arduino IDE 2.3.5. Please manually download the new version from https ...

From the scale of it and the size of the cast, you might think this is Avengers 3, by the way, but it isn't. Cap's guys are variously captured or go into hiding, while Thor and Hulk are busy ...