Yep that's right! It's an Arduino-like microcontroller development board, but with built-in Wi-Fi and an open source cloud back-end
It just seems like it would be great for push tasks, but what about when I want it to send notification or device info.
(I've put together R Pis for exactly this type of thing, and having an entire OS for it is a little overkill)