Arduino Maker Workshop Extension with Teensy?

[tigger]

Has anyone used the Arduino Maker Workshop Extension with Teensy libraries and loader?
I'm wondering if I would be able to keep my existing Arduino IDE environment a long side this or not.

Here is a youTube video describing it.
Arduino Maker Workshop Extension for Visual Studio Code