@webhat The switch uses the NEC IR protocol, and the first Google result for "HDMI switch ir codes" turns up this:
https://community.kinivo.com/t/information-hex-ir-codes/491
which I got working via a Python script talking to pigpiod.
The HDMI switch throws a bloody fit if the control line stays low, though.