> The only way to make it worse would be to incorporate USB-C somehow.
Why? I run DisplayPort over USB Type-C port on my Linux Laptop and it works quite well for 4K at 60Hz. DisplayPort over Type-C is a pretty common configuration on laptops. https://www.displayport.org/displayport-over-usb-c/