Arduino IDE 2.3.4 is now available