A new version of the Arduino IDE (1.6.3) is available at the download page! The Arduino IDE 1.6.3 is a bug fix release: after having released 1.6.2 with new libraries and cores managers, we received lots of useful feedback and fixed a handful of bugs. In particular: Fixed some impolite...