Arduino IDE 2.3.6 is now available