A Chrome extension to allow the casting of arbitrary HTML5 videos.