Tnx! The point of GIF is to not need plugins, or pause videos etc. GIF is not super efficiently used in this beta version though. Need to improve that.
audioless mp4 or what imgur calls .gifv could also be an option.
good call. checking that out
You should check out gfycat, first to do gifs as html5 video.