A reddit bot that converts GIFs to HTML5 videos