I had hoped to try this last week, but the video display offered in the seminar room only had a USB-C port, and I didn’t have an adapter. Online searches suggest that finding the right adapter can be confusing, as some of them are the reverse of what is needed here - they convert USB-C video output to input for an HDMI monitor, whereas what we want is an HDMI input to USB-C output adapter.