For the record: you were right. It was the same page and I mistakenly took those images for lottie images.

That being said it bothers me that they felt that a 500kB gif is more appropriate here. Perhaps I should just compile my images to gifs then?

That is a huge indictment towards my company laptop. Or perhaps it was a different page. I will have to establish that on Monday.