[goosedragons]

Which all still have HDMI ports. It's pretty rare for a laptop to have DP over HDMI. Even USB C using DP alt mode is easier and cheaper to convert to HDMI. You really have to hunt for a hub with DP.