Mystery port on the Samsung laptop (NP700Z5C)

What is the port in the picture of my Samsung Series 7 NP700Z5C?

It's called a "Display Port" in this image (not from Samsung, admittedly), but it's clearly not (the Samsung documentation even calls it "mini VGA" somewhere, which isn't a thing). It's the right general shape, but not even close to the right proportions, to be a mini-displayport, but it actually looks like micro USB. That left me thinking it's micro-HDMI or maybe , but that seems odd with a full-size HDMI port already just a few inches away.

Samsung makes a specialty connector for like $40, but is it really proprietary? Is it just MHL or Slimport? Searching Amazon for "Series 7 VGA Adapter" suggests it's micro HDMI, but I'm hoping for confirmation before I order something.

Hopefully somebody has this laptop and can clear up for me what this is – I just want to connect my laptop to VGA without paying through the nose.

EDIT:

I found this other question that makes me feel like I'm out of luck buying anything except the official adapter – it seems to suggest that what port it is depends on what size the laptop is and it's not consistent at all. That's unfortunate