Good god. That's three or more generations of electronics just dragged kicking-and-screaming into the 21st century. I love it.

All that's left to do is send the receiver output to a PC or RPi, and serve it as a self-hosted streaming service.