Note, the tutorial listed was written in the time when Teensy 2.0/2.0++ were introduced. The LED pin that they mention for blinking the LED is now pin 13 (same on the Teensy 3.2, 3.5, 3.6, and 4.0)....