È stata rilasciata la versione 2.3.10 dell'IDE che corregge alcuni problemi della 2.3.9 ed aggiunge alcune funzionalità ... potete leggere i dettagli del rilascio QUI incluso il link diretto per scaricare la versione da GitHub (fino a quando non avranno aggiornato la pagina di download).
Guglielmo
EDIT: Pagina del download aggiornata, ora è scaricabile dalla sezione software del forum.