I agree DisplayPort would be nice, but unfortunately, almost all currently available RISC-V SBCs only have physical HDMI and MIPI DSI connectors. We have to support the hardware that actually exists on the board.

If your board comes with a HDMI output you surely want to the that to connect e.g. a TV