Espruino stopped working

I did what cephdon suggested. Here's how it went:

1. plug in, no output in dmesg, plug out, change cable, plug in, no output.
   
2. hold RST then BTN1 pressed for ~1 sec, then plug out and release buttons
   
3. plug in, I saw the red LED light up for a split second, dmesg said Device not responding to set address again.
   
4. hold RST then BTN1 again for ~1 sec, then plug out and release buttons
   
5. plug in, I saw the red LED light up for a split second again, dmesg shown proper registration as USB ACM device
   
   

Thanks cephdon. I hope the steps I listed here help others and help debug :)