publicdimension.ch points out how to kluge a local real-time transcoded stream with the help of VLC. Not quite what I need, but interesting nonetheless.