I noticed that for some of the MIDI and the FLIGHTSIM_JOYSTICK usb configurations the Teensy type is not reported in the BCD_DEVICE field like for all other configurations. I'm wondering if there is a technical reason for this or was it simply forgotten when this 'teensy type reporting' was introduced some time ago?