Ask: Name & URL of showHN that turned Animted Gifs into HTML Video

A few days ago someone posted a Show HN where they shrunk animated gifs down to a movie file or something that it was much smaller than the .gif file. Does anyone have a link to that? I searched for hours and could not find it.