Not to mention, DisplayPort is the superior standard over HDMI in both technological terms as well as it being royalty free.
As long as you are okay with a 1-3m long cable.
Unfortunately, for longer runs, DisplayPort is kind of a nightmare. HDMI tends to "just work" as long as you use fiber optic construction.
Yes and no. HDMI CEC works pretty decent these days, all the kinks have been worked out over the years and the only time it bugs out is if you use Chinese brands (looking at you, TCL) that write horrid firmware and never fix any bugs found after release.
Displayport has DDC/CI, which allows you to adjust things like brightness, volume, etc. remotely. This has existed since the DVI era (!) which means Displayport had a huge headstart. But they never formalized and enforced the DDC/CI spec, which means every monitor has extremely weird quirks. Some will allow you to send and read data. Some will only allow you to send data and crash when you try to read. Some will update only once every few seconds.
Although in this specific case, one wonders why Valve didn't just use two Displayport 1.4 ports and and stuck an onboard HDMI converter in front of one of them, sourced from a company that would be amenable to having Valve work on the firmware of said converter. Make the entire firmware of the converter open source except for the binary blob that handles the Displayport 1.4 -> HDMI 2.1 bits.
Hopefully Valve does this but sells it as a external, high quality converter. It would be a nice little plus even for non-Steam Machine owners, same way like Apple's USB-C to 3.5mm convertor is the highest quality mini DAC on the market for the low price of €10.