Convert GIF files to WebM and replace links to them in doc files - View it on GitHub