A $40 “HDMI extender” turns out to actually be an ... Until now, streaming video over an IP network from an arbitrary HDMI output has been tricky, [danman] has been more than a little obsessed ...