This section of the Gallery initially contained .gif files but for several reasons I have switched over to webm.
WHAT IS .WEBM?
WHY WEBM OVER GIF?
Webm has several advantages over gif, WebM videos can be easily coded to autoplay and endlessly loop without an additional video player, superior image quality, support for more than 256 colors, and reduced file size. It looks and runs much better and smoother than gif. Its main disadvantage is browser compatibility.