The design and implementation of Swiffy: a Flash to HTML5 converter