I think RealVideo is working again. That was harder than it should have been... Please let me know if you see it behaving weirdly in any ways it didn't behave weirdly before. I think it requires at least RealPlayer 10 now instead of RealPlayer 8, but I doubt anyone is still using v8.
Wherein we find pigs and elves.