Safari extension that converts YouTube videos on any site into HTML5 video tags