Cannot upgrade the M5Stack board in the Arduino IDE (2.2.1)

  • The Arduino IDE suggests an upgrade for the M5Stack board from 2.0.5-1.0 to 2.0.5+1.0. However the upgrade always fails with this message:

    Cannot install platform: Installing platform m5stack:esp32@2.0.5+1.0: testing local archive integrity: Testing archive size: fetched archive size differs from size specified in index: 250363319 != 250355049

    What is the problem here? Should I de-install the old board and then intall the new one, or would that create problems?