The HDMI port is no biggie any more. Both laptops I have that are new enough to have a USB-C port put out video through it with a cheap (not Displaylink) mini docking station. Even the one not marked appropriately at the port (a HP 840 G6). The other is a recent-ish Acer Swift 3. Both are running Linux.