Yes, if I unplug it and re-plug it after a while it shows up as /dev/ttyACM3, and everything goes as before.