There's other versions [0] of the same idea that uses a Raspberry Pi and a USB video grabber to do the same thing with any HDMI signal (you only need an HDMI splitter and an HDMI to composite adapter).

[0] https://github.com/gkaindl/ambi-tv