[ImgBot] Optimize images

[imgbot[bot]]

Beep boop. Your images are optimized!

Your image file size has been reduced by 72% 🎉

Details

File	Before	After	Percent reduction
/images/scene-5.gif	7,795.04kb	1,605.31kb	79.41%
/images/corner_cases_in_levels.png	304.46kb	226.56kb	25.59%
/images/some-examples-in-levels.png	520.48kb	436.82kb	16.07%
/images/car-in-car-1.jpg	43.95kb	39.18kb	10.85%
/images/threshold-1.jpg	132.75kb	118.69kb	10.59%
/images/facade-reflecting-cars-1.jpg	110.11kb	100.27kb	8.94%
Total :	8,906.79kb	2,526.83kb	71.63%

---

📝 docs | :octocat: repo | 🙋🏾 issues | 🏪 marketplace

~Imgbot - Part of Optimole family