Arduino IDE 2.0.0-rc9.3 available for download!

Should this not be changed to rc9.4 by now :slight_smile:

FYI, I've finally installed it instead of using the ZIP and using it daily without problems.