BTW,
here's a fun fact I learned only recently: most DisplayPort connectors are also capable of outputting HDMI signals. This standard is known as DisplayPort++ and usually (but not always) indicated via the logo:

Video Electronics Standards Association (displayport.org), Public domain, via Wikimedia Commons
This enables the use of cheap, passive cables or adapters. The alternative were expensive, hot, and potentially problematic active converters. Today, most DisplayPort -> HDMI cables and adapters you can buy are the passive kind.
Even if a DisplayPort doesn't have that logo, it's still probably worth
trying to get a HDMI signal out of it, so long as the device is new enough (DisplayPort 1.2 or later, I think).