Though it can do 4K/30, and you can still find it on small, cheap tellies today ... It’s seen on the side of DSLRs and mirrorless cameras. The micro-HDMI, or Type-D, looks like a tiny micro-USB port.
Results that may be inaccessible to you are currently showing.