I think this is just down to the differences between the Arduino IDE and PlatformIO.
Maybe it's just me, but I find the Arduino IDE absolutely infuriating to even try to use. PlatformIO, when it works, is a much more familiar experience. That...
The code is as simple as this:
#include <TeensyThreads.h>
And what I see when I go to build, I get all these warnings. I'm one of those "no warnings" people, so while it compiles successfully, I'm left left a little twitchy...