I've managed to put the Kensington lock into a HDMI port and turn the key. So much for clear port markings in laptops.
Also so much of a first post in Mastodon.