Yes, I had the same problem. The device seemed to be dead. It also happened with a XIAO. Also tested on other PCs. No even an entry in dmesg. The double reset procedure brought it back to life. After I disabled the modemmanager all seems to work (mostly). I have the impression that the fact that the device is acting as two devices (serial+USB-memory drive) sometimes creates problems. I also had the download program not only complain but also get stuck and block ttyACM0. After that the device appeared as ttyACM1.
I have the impression that all that Ardiuno stuff is badly written software, trying to hide too much from the programmer. I would not release such stuff professionally. I usually do software for avionics (DO-178). That’s another level of quality.