I created an website that shows 100+ short small videos on a page. I tested it with common browsers on various platforms. And decided to load only the first 5 videos as HTML5 videos and show the rest as animated GIFs. The optimized GIFs have custom color pallet, the file size is slightly bigger, but the performance gain is enormous.