[MERGED] Installing Arduino IDE

This topic has been merged into Installing Arduino IDE 1.85.