I don't mind automatic conversion of gifs to webms, gif is relatively a very outdated and wasteful format. What I do mind is that now I can't download the original gif and if I download the video I can't upload it as a """gif""".