Should I download this even if I currently only work with Teensy hardware? (Not ArduinoCode)