Yea, using gifs for videos is probably not the best idea in 2023. The page source is also interesting with 147 CSS classes defined on the <body> tag... XD