C'mon, a mini-hdmi<->hdmi cable is 50kr ($5), surely you can just buy one and be done with it, no adapter needed.
https://www.netonnet.se/art/ljud-och-bild/kablar/hdmi-kablar...
https://www.netonnet.se/art/ljud-och-bild/kablar/hdmi-kablar...
Or there were no cheap enough stacked port.
So it's not rated for 4k, but it will support all the DRM stuff.
I used to lose the Micro to C adapters all the time, I lost the C to headphone for my OnePlus6T while travelling and was unable to find a replacement so no headphone use for me.
Also, I have about 12 Raspberry Pis, as many display devices, a dozen or so other HDMI devices such as consoles etc, and tens of normal sized HDMI cables lying around and they're all compatible.