Here is a fifth beta test for Teensyduino 1.42.

The main new feature is a "Teensy" section in the Tools > Ports menu
which tries to show Teensy in all modes, not just Serial. New native
(no Java serial library) serial monitor code is also with these ports.

Old beta download links removed. Please use the latest version:

Changes since Teensyduino 1.42-beta4

Fix Teensy 3.5 stack address (thanks Frank)
Better detection of Teensy model in Ports menu
Audio: fix WM8731 input select