It is relatively quick to convert from DisplayPort to HDMI (computers with HDMI output ports now do this internally) and dual-mode DisplayPort outputs have built-in adapters to output a HDMI signal to be used with passive DisplayPort to HDMI adapters. You'll be able to keep your gadget billed though utilizing https://hdmi-to-type-c-adapter34321.blogdigy.com/5-simple-statements-about-usb-c-digital-av-multiport-adapter-explained-40533314