the framework-arduinoteensy seems to be a little out of date.

Does it make sense to copy the Teensyduino core files from the new version 1.4 to the Platformio framework-arduinoteensy folder?

I tested it and it works, but I do not know if there are other things which might outcome…