Hi -I just installed 1.47 teensyduino and I dont have USB Type options for 4.0(Midi, Audio, HID etc).
they do show up for 3.6 and lower...
windows 10, Arduino 1.8.9. thanks!