How to add Teensy board in VS Code and Arduino plugin?

Question

I am currently programming Teens y2.0 using the Arduino IDE with Teensyduino. It works, but the Arduino IDE is trash, so I would like to use VS Code. However, although the Arduino VS code plugin works fine, it does not recognize Teensy as a board, although Teensyduino installs its libraries, etc. Into the Arduino IDE package.

Does anyone know how to add Teensy support to VS Code or an alternative IDE that I can use that recognizes the board?

OSX Sierra / VS Code with plugin vscode-arduino v0.24 / Teensy 2.0