So basically the Arduino the Software Company (IDE), and Arduino the hardware supplier broke ties?
I use the ESP8266 which I do believe is an Arduino (Hardware) Killer. However, the Arduino IDE has amazing support for the ESP8266 among other hardware components.
This isn't a bad thing, at least for consumers, since I feel like Arduino (the hardware) is a few cycles behind (eg. Particle, CHIP, bbc micro, pi zero, nodemcu/esp8266... etc)