finally! ESP32 in Arduino IDE https://twitter.com/time4ee/status/784494146820055040

finally!
ESP32 in Arduino IDE

Buena noticia.

They are now officially maintaining their own Arduino-core for it? Well, that is a damn good thing.