Does this one have the JTAG/SWD pins available? I know that the teensy bootloader is one of its USPs, but not being able to connect a debugger is kind of a dealbreaker for any sort of complex project.
This has been a longstanding issue with all of the ARM-based Teensy boards, and it's really the main reason I'd hesitate to recommend them.
PlatformIO https://platformio.org/ is the preferred Arduino IDE (a plugin for VS Code). It has support for hardware debugging, C++ code highlighting, code completion and Intellisense.