Arduino IDE Not Found

The issue is no longer relevant with the release of v0.12.0