We are currently experiencing service degradation and working on resolving this. Thank you for your patience and understanding.
(manchoz)
Arduino command-line interface