In case you missed it, the new Arduino IDE (0018) is out. Get it here as usual!