I've searched for an answer, but have had no luck. I'm trying to switch from Arduino IDE to IDF on linux and can successfully compile and download the example "getting started/hello_world. But right after it downloads, the serial port (/dev/ttyACM1 in my case) completely dissapears from the /dev tre...