Is it possible to grab the Arduino IDE with Teensyduino already mixed in from https://github.com/PaulStoffregen/Arduino-1.8.13-Teensyduino for Linux command line only? Unable to run X server, so no...