Unofficial is pretty good though. I got an EV3 at a garage sale, and it only took about an hour to get Linux up on it, booted from SD card, and being able to ssh in via a tiny USB wifi dongle I happened to have on hand, and run sample Python scripts that did things with the motors.
I haven't tried for a while, especially not with Python. That's exciting!