I've also been using PlatformIO for ages for my ESP8266 work, and I couldn't live without it. Ivan is a beast and apparently works all day and night pushing updates, which is great to see.