You are actually having right. And, as side note, I need to admit that I like this well thought out design: https://innlead.shop/wp-content/uploads/images/Edge/ad01.webp. Even HDMI port isn’t of micro type 
(no need for use of some extra adapter there).
