Hey folks, I recently updated the Arduino IDE to the 2.3.7 version and came with some issues with Teensy 4.1. Some times after you upload a new sketch the IDE stops recognizing the Teensy 4.1 port, it's still alive because when you hit the program button the Teensy Loader successfully uploads the sketch, but obviously stops all serial monitor activity and only can get it to re recognize the board after a reboot. Tried different cables (alongside with a new one) and different teensys (old and a new board) and the same. Tried the 15 second button wipe and the same, only after rebooting comes back. I'm using Mac with the latest update. Anyone else have experienced this issues? something I can do? if not I'll reverse to the previous IDE version.