I'm wondering if there's a reason to include a (custom?) version of FastLED in Teensyduino. Looking at the standard FastLED source code on GitHub, it appears to me that the newer versions (I only checked 3.4, 3.5, and 3.6) all support the special PJRC libraries like WS2812Serial right out of the...