A $40 “HDMI extender” turns out to actually be an HDMI-to-RTP converter under the hood ... to get a stream out of a rooted Android set-top box. That costs a bit more, but can also record ...