The HDMI plug is 16mm if I remember correctly.
The bulky plastic on either end can be shaved off to make it fit in a 20mm conduit.
Over done that before without damaging the cable.
My challenge is a 16mm conduit that I need to fit a cable through.
Tried mini HDMI which I could squeeze through...