HDMI and Audio
My "venerable Lenovo T440s" has a Mini DisplayPort and I use a Mini DisplayPort-to-HDMI dongle. Video is auto-detected but I do have to manually select "Digital Stereo (HDMI)" in Sound Preferences. Not a huge challenge as I've added Sound Preferences to my shortcuts; and once selected, the HDMI audio works too.