Reduce size of animated GIFs, automatically convert to WebM and MP4 | Hacker News Reader