obra’s Twitter Archive—№ 25,209

Apparently, this is less expensive to implement than just doing the Lightning to HDMI conversion. Those dongles cost $30 here.