Comment by unfocussed_mike

Those dirt-cheap HDMI capture cards are surprisingly useful.

There is a Raspberry Pi HDMI-to-CSI capture card now that presumably uses the same or similar chip:

https://www.waveshare.com/wiki/HDMI_to_CSI_Adapter

(The Pi Hut have it)