It seems most videos are available on Google Video if you (like me) had forgotten that RealPlayer even existed: http://www.google.com/search?q=Arsdigita&tbo=p&t

It seems most videos are available on Google Video if you (like me) had forgotten that RealPlayer even existed: http://www.google.com/search?q=Arsdigita&tbo=p&tbm=vid&source=vgc http://www.google.com/search?q=Arsdigita&tbo=p&tbm=v... (Allegedly VLC can play RealPlayer, but it wasn't working for me.)