I would like to use a Teensy LC from my chromebook.
There is an online IDE that should work from the chromebook, but
there is a Teensyduino software addon for the Arduino software,
and it does not look like it would work with the online IDE.
So - is there some way to use the IDE with the Teensy LC without the addon?