Well, not really. The only thing that's broken is HiDPI display, and proprietary hardware compatibility. WiFi drivers can be hard to install, and will sometimes drop my connection. I wish I could figure out the intermittent usb connection dropping too. Otherwise Debian/Cinnamon has been quick to set up for web dev and docker environments are very fast.
Topic