Just a very short but infuriating hint today. Many people seem to be having issues getting full 60hz 4k output from their XPS Laptops to external devices. I've had the same issue, and
Dell's new XPS 17 line includes a new hardware array of microphones. That's cool, but it's not supported on most Linux distributions yet.