(gifs are shown as *.gifv (mp4) initially... to download as gifs: 1. right-click on *.gifv -> 2. open video on new tab 3. click 'download' (or change the url from *,gifv to *.gif) imgur.com/gallery/5rRWC
i use the fine + free online tool ezgif.com
1. click video to gif (upload vid or paste url)
2. select 4-8sec (500px width. 25fps)
3. click optimize to shrink ~15mb gif to ~5mb gif (w/ 35 comp. level = almost same quality)
imgur.com/gallery/5rRWC