That sounds great. It’s good that Arduino IDE gets more mature. However, I prefer Codebender. This Java-based laggy interface causes me issues with line encoding and navigating around my sketches.