i used to have one of those "hdmi over ethernet" devices which i captured with ffmpeg and used for his purpose. worked well, about 100ms latency for the capture/conversion