replace GIFs with HTML5 video