Interesting. They appear to be using a software USB-serial implementation on an ATtiny; last time I checked that didn't work on some OSes because CDC serial on a USB low-speed device violated the USB spec.