I had not considered using a raspberry pi on the receiving end.
Any thoughts on using multiple Pis to receive the same stream?
I would like to take the output from an HDMI source and display it on multiple displays throughout my house.