Hello,
Have 1.8.5 and installed the Teensy add-on package I think 1.4.2 yesterday. Told me it installed OK.
Found Teensy stuff in examples, and library stuff on the hard drive in the Arduino folder.
However, no boards are listed that are Teensy. Went through the boards manager, and no ARM M4 Teensy stuff found to install.
Not sure what to do at this point. My first ACTUAL Teensy board will be here in a couple days, but would not think I would need it to build a Teensy Sketch.
???
Take care
GlenB